Call-by-Value Termination in the Untyped lambda-Calculus.

Neil D. Jones Nina Bohr

Published in: Log. Methods Comput. Sci. (2008)

Keyphrases

lambda calculus
database query languages
type checking
programming language
predicate calculus
program understanding
database
case study
higher order
artificial intelligence
object oriented
complex objects