Confluency and strong normalizability of call-by-value lambda-µ-calculus.

Published in: Theor. Comput. Sci. (2003)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
case study
high level
program understanding
data structure
higher order
expressive power