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]

Abstract

Abstract is missing.