A lambda-Calculus for Resource Separation.

Published in: ICALP (2004)

Keyphrases

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