Mechanical Procedure for Proof Construction via Closed Terms in Typed \lambda Calculus.

Published in: J. Autom. Reason. (1988)

Keyphrases

lambda calculus
programming language
predicate calculus
databases
higher order
program understanding
database query languages
software engineering
object oriented
co occurrence
query optimization
theorem prover