Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus.

Don Pigozzi Antonino Salibra

Published in: Fundam. Informaticae (1998)

Keyphrases

lambda calculus
programming language
high level
databases
case study
predicate calculus
general purpose
database query languages