Denotation of contextual modal type theory (CMTT): Syntax and meta-programming. Gabbay, M. J. & Nanevski, A. J. Appl. Log., 11(1):1–29, 2013.
Denotation of contextual modal type theory (CMTT): Syntax and meta-programming [link]Paper  doi  bibtex   
@article{DBLP:journals/japll/GabbayN13,
  author    = {Murdoch James Gabbay and
               Aleksandar Nanevski},
  title     = {Denotation of contextual modal type theory {(CMTT):} Syntax and meta-programming},
  journal   = {J. Appl. Log.},
  volume    = {11},
  number    = {1},
  pages     = {1--29},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.jal.2012.07.002},
  doi       = {10.1016/j.jal.2012.07.002},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/japll/GabbayN13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0