BAILLOT2018 (Article)
|
Author(s) | Patrick Baillot, Erika De Benedetti and Simona Ronchi Della Rocca |
Title | « Characterizing polynomial and exponential complexity classes in elementary lambda-calculus » |
Journal | Information and Computation |
Year | 2018 |
ISSN number | 0890-5401 |
URL | http://www.sciencedirect.com/science/article/pii/S0890540118300774 |
Keywords |
Keywords: Implicit computational complexity, Linear logic, Lambda-calculus
|
@article{BAILLOT2018,
author = {Patrick Baillot and Erika De Benedetti and Simona {Ronchi Della
Rocca}},
issn = {0890-5401},
keywords = {Implicit computational complexity, Linear logic, Lambda-calculus},
url = {http://www.sciencedirect.com/science/article/pii/S0890540118300774},
title = {Characterizing polynomial and exponential complexity classes in
elementary lambda-calculus},
doi = {https://doi.org/10.1016/j.ic.2018.05.005},
year = {2018},
journal = {Information and Computation},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)