A confluent lambda-calculus with a catch/throw mechanism.

Tristan Crolard

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

Keyphrases

lambda calculus
programming language
predicate calculus
data model
program understanding
database query languages
integrity constraints
formal model