Rémi Nollet, Alexis Saurin, Christine Tasson. Local Validity for Circular Proofs in Linear Logic with Fixed Points. In Dan R. Ghica, Achim Jung, editors, 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK. Volume 119 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
@inproceedings{NolletST18,
title = {Local Validity for Circular Proofs in Linear Logic with Fixed Points},
author = {Rémi Nollet and Alexis Saurin and Christine Tasson},
year = {2018},
doi = {10.4230/LIPIcs.CSL.2018.35},
url = {https://doi.org/10.4230/LIPIcs.CSL.2018.35},
researchr = {https://researchr.org/publication/NolletST18},
cites = {0},
citedby = {0},
booktitle = {27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK},
editor = {Dan R. Ghica and Achim Jung},
volume = {119},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-088-0},
}