A Type-Free Resource-Aware Lambda-Calculus.

Published in: CSL (1996)

Keyphrases

lambda calculus
database query languages
programming language
artificial intelligence
general purpose
higher order
predicate calculus
type checking
complex objects
spatial databases