Login / Signup

Non-uniform Polytime Computation in the Infinitary Affine Lambda-Calculus.

Damiano Mazza
Published in: ICALP (2) (2014)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • program understanding
  • databases
  • database systems