The Lambda-Calculus with Multiplicities (Abstract).

Published in: CONCUR (1993)

Keyphrases

lambda calculus
programming language
predicate calculus
high level
higher level
low level
program understanding
database query languages
general purpose
complex objects
database
expert systems
data warehouse
higher order