An interpretation of [lambda][mu]-calculus in [lambda]-calculus.

Ken-etsu Fujita

Published in: Inf. Process. Lett. (2002)

Keyphrases

lambda calculus
database query languages
programming language
predicate calculus
program understanding
database
high level
query language
complex objects
formal model
relational databases
general purpose
higher order
relational algebra