Towards a Classical Linear lambda-calculus.

Gavin M. Bierman

Published in: Electron. Notes Theor. Comput. Sci. (1996)

Keyphrases

lambda calculus
predicate calculus
programming language
databases
higher order
database
natural language processing
general purpose
integrity constraints
database query languages