Combinatory Weak Reduction in Lambda Calculus.

Naim Çagman J. Roger Hindley

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

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
complex objects
databases
artificial intelligence
general purpose
open source
test cases