Login / Signup
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