Denotation of contextual modal type theory (CMTT): syntax and meta-programming

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{e8fafd13255043e69b73d0c7a1b89e72,

title = "Denotation of contextual modal type theory (CMTT): syntax and meta-programming",

author = "Gabbay, {Murdoch J.} and Aleksandar Nanevski",

year = "2013",

month = mar,

doi = "10.1016/j.jal.2012.07.002",

language = "English",

volume = "11",

pages = "1--29",

journal = "Journal of Applied Logic",

issn = "1570-8683",

publisher = "Elsevier",

number = "1",

}