Light types for polynomial time computation in lambda calculus.

Patrick Baillot Kazushige Terui

Published in: Inf. Comput. (2009)

Keyphrases

lambda calculus
programming language
complex objects
database systems
object oriented
general purpose
integrity constraints