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]

Possibly Related Publications

The following publications are possibly variants of this publication: