An intuitionistic [lambda]-calculus with exceptions.

René David Georges Mounier

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

Keyphrases

lambda calculus
programming language
predicate calculus
theorem prover
fuzzy numbers
program understanding
higher order
database query languages
complex objects
general purpose
database
query processing
incomplete information