Reflective lambda-Calculus.

Jesse Alt Sergei N. Artëmov

Published in: Proof Theory in Computer Science (2001)

Keyphrases

lambda calculus
programming language
program understanding
predicate calculus
higher order
database query languages
complex objects
databases
relational databases
reverse engineering