Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus.

Anders Schack-Nielsen Carsten Schürmann

Published in: IJCAR (2010)

Keyphrases

lambda calculus
programming language
database
predicate calculus
xml documents
expressive power
complex objects
program understanding