TY  - RPRT
TI  - Denotation of syntax and metaprogramming in contextual modal type theory (CMTT)
AU  - Murdoch Gabbay
AU  - Aleksandar Nanevski
PY  - 2012
DO  - 10.1016/j.jal.2012.07.002
UR  - https://arxiv.org/abs/1202.0904
ID  - 1202.0904
ER  -