Termination Tests inside lambda-Calculus.

Corrado Böhm Mario Coppo Mariangiola Dezani-Ciancaglini

Published in: ICALP (1977)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
program understanding
type checking
higher order
test suite
natural language
general purpose