From a Concurrent Lambda-Calculus to the Pi-Calculus.

Roberto M. Amadio Lone Leth Thomsen Bent Thomsen

Published in: FCT (1995)

Keyphrases

lambda calculus
database query languages
programming language
predicate calculus
program understanding
database
database systems
query language
general purpose
relational algebra
higher order
complex objects
artificial intelligence
knowledge representation
software maintenance