Login / Signup

The Identification of Propositions and types in Martin-Löf's Type Theory: A Programming Example.

Jan M. Smith
Published in: FCT (1983)
Keyphrases
  • programming language
  • multiple types
  • theoretical foundation
  • general theory
  • artificial intelligence
  • case study
  • theoretical basis
  • automatic identification