Templates:
Intensional or extensional

- Studied in the 2015 TPLP paper: "Semantics of templates in a compositional framework for building logics"

- Four concrete examples of templates:

• isEqRelation
• TransitiveClosure (tc)
• range
• win