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

@article{e8fafd13255043e69b73d0c7a1b89e72,
title = "Denotation of contextual modal type theory (CMTT): syntax and meta-programming",
author = "Gabbay, {Murdoch J.} and Aleksandar Nanevski",
year = "2013",
month = "3",
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",

}

Denotation of contextual modal type theory (CMTT) : syntax and meta-programming. / Gabbay, Murdoch J.; Nanevski, Aleksandar.

In: Journal of Applied Logic, Vol. 11, No. 1, 03.2013, p. 1-29.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Denotation of contextual modal type theory (CMTT)

T2 - syntax and meta-programming

AU - Gabbay, Murdoch J.

AU - Nanevski, Aleksandar

PY - 2013/3

Y1 - 2013/3

U2 - 10.1016/j.jal.2012.07.002

DO - 10.1016/j.jal.2012.07.002

M3 - Article

VL - 11

SP - 1

EP - 29

JO - Journal of Applied Logic

JF - Journal of Applied Logic

SN - 1570-8683

IS - 1

ER -