Login / Signup

Translation of the simple theory of types into a first order language.

H. Julian Wadleigh
Published in: Notre Dame J. Formal Log. (1974)
Keyphrases
  • programming language
  • target language
  • formal theory
  • theoretical framework
  • language learning
  • machine learning
  • higher order
  • specification language
  • classical first order logic