Published in: LIPIcs, Volume 250, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022)
Abhishek De, Farzad Jafarrahmani, and Alexis Saurin. Phase Semantics for Linear Logic with Least and Greatest Fixed Points. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 250, pp. 35:1-35:23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@InProceedings{de_et_al:LIPIcs.FSTTCS.2022.35, author = {De, Abhishek and Jafarrahmani, Farzad and Saurin, Alexis}, title = {{Phase Semantics for Linear Logic with Least and Greatest Fixed Points}}, booktitle = {42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022)}, pages = {35:1--35:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-261-7}, ISSN = {1868-8969}, year = {2022}, volume = {250}, editor = {Dawar, Anuj and Guruswami, Venkatesan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2022.35}, URN = {urn:nbn:de:0030-drops-174272}, doi = {10.4230/LIPIcs.FSTTCS.2022.35}, annote = {Keywords: Linear logic, fixed points, phase semantics, closure ordinals, cut elimination} }
Published in: LIPIcs, Volume 119, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
Rémi Nollet, Alexis Saurin, and Christine Tasson. Local Validity for Circular Proofs in Linear Logic with Fixed Points. In 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 119, pp. 35:1-35:23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{nollet_et_al:LIPIcs.CSL.2018.35, author = {Nollet, R\'{e}mi and Saurin, Alexis and Tasson, Christine}, title = {{Local Validity for Circular Proofs in Linear Logic with Fixed Points}}, booktitle = {27th EACSL Annual Conference on Computer Science Logic (CSL 2018)}, pages = {35:1--35:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-088-0}, ISSN = {1868-8969}, year = {2018}, volume = {119}, editor = {Ghica, Dan R. and Jung, Achim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.35}, URN = {urn:nbn:de:0030-drops-97025}, doi = {10.4230/LIPIcs.CSL.2018.35}, annote = {Keywords: sequent calculus, non-wellfounded proofs, circular proofs, induction, coinduction, fixed points, proof-search, linear logic, muMALL, finitization, infinite descent} }
Feedback for Dagstuhl Publishing