TY  - RPRT
TI  - Semantics of templates in a compositional framework for building logics
AU  - Ingmar Dasseville
AU  - Matthias van der Hallen
AU  - Gerda Janssens
AU  - Marc Denecker
PY  - 2015
DO  - 10.1017/s1471068415000319
UR  - https://arxiv.org/abs/1507.06778
ID  - 1507.06778
ER  -