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

Murdoch James Gabbay Aleksandar Nanevski

Published in: J. Appl. Log. (2013)

Keyphrases

contextual information
type checking
programming language
theoretical framework
data sets
programming environment
general theory
databases
neural network
database systems
computer programming
programming course