C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus.
Patrick Baillot
Erika De Benedetti
Simona Ronchi Della Rocca
Published in:
IFIP TCS (2014)
Keyphrases
</>
lambda calculus
exponential size
average case complexity
programming language
relational databases
object oriented
predicate calculus