The Safe Lambda Calculus.

William Blum C.-H. Luke Ong

Published in: TLCA (2007)

Keyphrases

lambda calculus
programming language
predicate calculus
complex objects
database query languages
database
databases
higher order
case study
expert systems
general purpose
program understanding