David Baelde, Amina Doumane, Alexis Saurin
Least and Greatest Fixed Points in Ludics
CSL, 2015.
@inproceedings{CSL-2015-BaeldeDS,
author = "David Baelde and Amina Doumane and Alexis Saurin",
booktitle = "{24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany}",
doi = "10.4230/LIPIcs.CSL.2015.549",
isbn = "978-3-939897-90-3",
pages = "549--566",
publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
series = "{Leibniz International Proceedings in Informatics}",
title = "{Least and Greatest Fixed Points in Ludics}",
volume = 41,
year = 2015,
}
Tags: