Polymorphic Lambda Calculus: The Church-Rosser Property.

George Koletsos

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

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
database
program understanding
expert systems
open source
software systems
first order logic