A Computational Interpretation of the lambda-µ-Calculus.

Gavin M. Bierman

Published in: MFCS (1998)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database
database query languages
high level
co occurrence
complex objects