Login / Signup

An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus.

Damiano Mazza
Published in: LICS (2012)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • complex objects
  • higher order
  • program understanding
  • database query languages
  • database
  • databases
  • data structure
  • data sources
  • predicate logic