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