Sharing in the Weak Lambda-Calculus.

Tomasz Blanc Jean-Jacques Lévy Luc Maranget

Published in: Processes, Terms and Cycles (2005)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
knowledge base
complex objects
database
case study
pairwise
knowledge representation
theorem proving
program understanding