A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus.

Antonino Salibra Robert Goldblatt

Published in: Inf. Comput. (1999)

Keyphrases

lambda calculus
equational theories
programming language
theorem proving
predicate calculus
database query languages
complete axiomatization
program understanding
theorem prover
software engineering
higher order
complex objects
formal model
horn clauses