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]
@article{BaillotBR18,
title = {Characterizing polynomial and exponential complexity classes in elementary lambda-calculus},
author = {Patrick Baillot and Erika De Benedetti and Simona Ronchi Della Rocca},
year = {2018},
doi = {10.1016/j.ic.2018.05.005},
url = {https://doi.org/10.1016/j.ic.2018.05.005},
researchr = {https://researchr.org/publication/BaillotBR18},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {261},
number = {Part},
pages = {55-77},
}