Sign in

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

Murdoch James GabbayAleksandar 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