A completeness result for the simply typed lambdaµ-calculus.

Karim Nour Khelifa Saber

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
database query languages
program understanding
database
high level