Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin. Rational Lawvere Logic (Invited Paper). In Stefano Guerrini, Barbara König 0001, editors, 34th EACSL Annual Conference on Computer Science Logic, CSL 2026, Paris, France, February 23-28, 2026. Volume 363 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
@inproceedings{BacciMPP26,
title = {Rational Lawvere Logic (Invited Paper)},
author = {Giorgio Bacci and Radu Mardare and Prakash Panangaden and Gordon D. Plotkin},
year = {2026},
doi = {10.4230/LIPIcs.CSL.2026.3},
url = {https://doi.org/10.4230/LIPIcs.CSL.2026.3},
researchr = {https://researchr.org/publication/BacciMPP26},
cites = {0},
citedby = {0},
booktitle = {34th EACSL Annual Conference on Computer Science Logic, CSL 2026, Paris, France, February 23-28, 2026},
editor = {Stefano Guerrini and Barbara König 0001},
volume = {363},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-411-6},
}