Paths in the lambda-calculus

Andrea Asperti Vincent Danos Cosimo Laneve Laurent Regnier

Published in: LICS (1994)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
data structure
pairwise
source code
expressive power
complex objects