Demonstrating Lambda Calculus Reduction.

Published in: MFPS (2001)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
higher order
databases
artificial intelligence
database query languages
relational databases
co occurrence
data management
reverse engineering