unification in typed lambda calculus.

Gérard P. Huet

Published in: Lambda-Calculus and Computer Science Theory (1975)

Keyphrases

lambda calculus
higher order
programming language
predicate calculus
theorem proving
database query languages
theorem prover
program understanding
first order logic
artificial intelligence
expert systems
data abstraction