Light affine lambda calculus and polynomial time strong normalization.

Kazushige Terui

Published in: Arch. Math. Log. (2007)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
database
higher order
databases
query language
software engineering
wordnet
formal model