Login / Signup

Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing.

Tom GundersenWillem HeijltjesMichel Parigot
Published in: LICS (2013)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • higher order
  • database query languages
  • program understanding
  • high level
  • general purpose
  • first order logic
  • complex objects