Damiano Mazza
Simple Parsimonious Types and Logarithmic Space
CSL, 2015.
@inproceedings{CSL-2015-Mazza,
author = "Damiano Mazza",
booktitle = "{24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany}",
doi = "10.4230/LIPIcs.CSL.2015.24",
isbn = "978-3-939897-90-3",
pages = "24--40",
publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
series = "{Leibniz International Proceedings in Informatics}",
title = "{Simple Parsimonious Types and Logarithmic Space}",
volume = 41,
year = 2015,
}