Login / Signup
On the Existence of Closed Terms in the Typed lambda Calculus II: Transformations of Unification Problems.
Richard Statman
Published in:
Theor. Comput. Sci. (1981)
Keyphrases
</>
lambda calculus
higher order
programming language
predicate calculus
artificial intelligence
relational databases
co occurrence
program understanding