Paths, Computations and Labels in the Lambda-Calculus.

Andrea Asperti Cosimo Laneve

Published in: RTA (1993)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
pairwise
program understanding
complex objects
database query languages
databases
artificial intelligence
high level
wordnet
semantic network
predicate logic