Characterizing polynomial and exponential complexity classes in elementary lambda-calculus

Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca. Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. Inf. Comput., 261(Part):55-77, 2018. [doi]

Authors

Patrick Baillot

This author has not been identified. Look up 'Patrick Baillot' in Google

Erika De Benedetti

This author has not been identified. Look up 'Erika De Benedetti' in Google

Simona Ronchi Della Rocca

This author has not been identified. It may be one of the following persons: Look up 'Simona Ronchi Della Rocca' in Google