Demonstrating Lambda Calculus Reduction.

Published in: The Essence of Computation (2002)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
higher order
program understanding
databases
natural language
object oriented
natural language processing
general purpose
query optimization