Some Results on the Interpretation of lambda-calculus in Operator Algebras

Pasquale Malacaria Laurent Regnier

Published in: LICS (1991)

Keyphrases

lambda calculus
programming language
predicate calculus
high level
program understanding
database query languages
higher order
object oriented
complex objects