Damiano Mazza
Non-uniform Polytime Computation in the Infinitary Affine λ-Calculus
ICALP, 2014.
@inproceedings{ICALP-v2-2014-Mazza, author = "Damiano Mazza", booktitle = "{Proceedings of the 41st International Colloquium on Automata, Languages, and Programming, Part II}", doi = "10.1007/978-3-662-43951-7_26", isbn = "978-3-662-43950-0", pages = "305--317", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Non-uniform Polytime Computation in the Infinitary Affine λ-Calculus}", volume = 8573, year = 2014, }