Denotation of contextual modal type theory (CMTT): Syntax and meta-programming
Under an Elsevier user license
open archive
Keywords
S4 modal logic
Curry–Howard correspondence
Contextual modal type theory
Meta-programming
Higher-order logic
Syntax
Cited by (0)
Copyright © 2012 Elsevier B.V. All rights reserved.