Login / Signup

Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus.

Patrick BaillotErika De BenedettiSimona Ronchi Della Rocca
Published in: IFIP TCS (2014)
Keyphrases
  • lambda calculus
  • exponential size
  • average case complexity
  • programming language
  • relational databases
  • object oriented
  • predicate calculus