Login / Signup
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