Exact Bounds for Lengths of Reductions in Typed lambda-Calculus.

Arnold Beckmann

Published in: J. Symb. Log. (2001)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
complex objects
program understanding
object oriented
open source