Call-by-value Termination in the Untyped Lambda-calculus

Neil D. Jones Nina Bohr

Published in: CoRR (2008)

Keyphrases

lambda calculus
programming language
database query languages
type checking
predicate calculus
program understanding
higher order
knowledge base
relational databases
general purpose
complex objects
case study
query language
co occurrence