Light types for polynomial time computation in lambda-calculus

Patrick Baillot Kazushige Terui

Published in: CoRR (2004)

Keyphrases

lambda calculus
programming language
database
predicate calculus
natural language