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

Murdoch J. Gabbay, Aleksandar Nanevski

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)1-29
Number of pages29
JournalJournal of Applied Logic
Volume11
Issue number1
DOIs
Publication statusPublished - Mar 2013

Cite this