A CPS-Translation of the Lambda-µ-Calculus.

Philippe de Groote

Published in: CAAP (1994)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
artificial intelligence
databases
higher order