• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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