Login / Signup
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus.
Patrick Baillot
Erika De Benedetti
Simona Ronchi Della Rocca
Published in:
Inf. Comput. (2018)
Keyphrases
</>
lambda calculus
average case complexity
exponential size
programming language
predicate calculus
database
program understanding
expert systems
open source
expressive power
efficient computation