Soft lambda-Calculus: A Language for Polynomial Time Computation.

Patrick Baillot Virgile Mogbil

Published in: FoSSaCS (2004)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
general purpose
higher order
software engineering
databases
high level
database systems
object oriented
complex objects
formal model
computational linguistics
relational databases
data model