Comparing Lambda-calculus translations in Sharing Graphs.

Andrea Asperti Cosimo Laneve

Published in: TLCA (1995)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database
databases
higher order
database query languages