Soft lambda-calculus: a language for polynomial time computation

Patrick Baillot Virgile Mogbil

Published in: CoRR (2003)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
higher order
general purpose
expressive power
integrity constraints