Denotation of syntax and metaprogramming in contextual modal type theory (CMTT)

Murdoch Gabbay Aleksandar Nanevski

Published in: CoRR (2012)

Keyphrases

type checking
theoretical framework
contextual information
computational model
theoretical basis
formal languages
information systems
high level
bayesian networks
modal logic
context sensitive
operational semantics
formal theory