Login / Signup

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

Karim NourKhelifa 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