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

Templates

By Matthias van der Hallen