Constructive Proofs of the Range Property in lambda-Calculus.

Henk Barendregt

Published in: Theor. Comput. Sci. (1993)

Keyphrases

lambda calculus
programming language
program understanding
database query languages
theorem proving
database
artificial intelligence
object oriented
theorem prover
predicate calculus
data management
expressive power
incomplete information
complex objects
software maintenance