Representing 'undefined' in lambda Calculus.

Henk Barendregt

Published in: J. Funct. Program. (1992)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages