Published in: LIPIcs, Volume 252, 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
Cédric de Lacroix and Luigi Santocanale. Frobenius Structures in Star-Autonomous Categories. In 31st EACSL Annual Conference on Computer Science Logic (CSL 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 252, pp. 18:1-18:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
@InProceedings{delacroix_et_al:LIPIcs.CSL.2023.18, author = {de Lacroix, C\'{e}dric and Santocanale, Luigi}, title = {{Frobenius Structures in Star-Autonomous Categories}}, booktitle = {31st EACSL Annual Conference on Computer Science Logic (CSL 2023)}, pages = {18:1--18:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-264-8}, ISSN = {1868-8969}, year = {2023}, volume = {252}, editor = {Klin, Bartek and Pimentel, Elaine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2023.18}, URN = {urn:nbn:de:0030-drops-174798}, doi = {10.4230/LIPIcs.CSL.2023.18}, annote = {Keywords: Quantale, Frobenius quantale, Girard quantale, associative algebra, star-autonomous category, nuclear object, adjoint} }
Published in: LIPIcs, Volume 82, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
Maria João Gouveia and Luigi Santocanale. Aleph1 and the Modal mu-Calculus. In 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 82, pp. 38:1-38:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)
@InProceedings{gouveia_et_al:LIPIcs.CSL.2017.38, author = {Gouveia, Maria Jo\~{a}o and Santocanale, Luigi}, title = {{Aleph1 and the Modal mu-Calculus}}, booktitle = {26th EACSL Annual Conference on Computer Science Logic (CSL 2017)}, pages = {38:1--38:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-045-3}, ISSN = {1868-8969}, year = {2017}, volume = {82}, editor = {Goranko, Valentin and Dam, Mads}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2017.38}, URN = {urn:nbn:de:0030-drops-76926}, doi = {10.4230/LIPIcs.CSL.2017.38}, annote = {Keywords: Modal mu-calculus, regular cardinal, continuous function, aleph1, omega1, closure ordinal, ordinal sum} }
Published in: LIPIcs, Volume 23, Computer Science Logic 2013 (CSL 2013)
Jérôme Fortier and Luigi Santocanale. Cuts for circular proofs: semantics and cut-elimination. In Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 23, pp. 248-262, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013)
@InProceedings{fortier_et_al:LIPIcs.CSL.2013.248, author = {Fortier, J\'{e}r\^{o}me and Santocanale, Luigi}, title = {{Cuts for circular proofs: semantics and cut-elimination}}, booktitle = {Computer Science Logic 2013 (CSL 2013)}, pages = {248--262}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-60-6}, ISSN = {1868-8969}, year = {2013}, volume = {23}, editor = {Ronchi Della Rocca, Simona}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2013.248}, URN = {urn:nbn:de:0030-drops-42019}, doi = {10.4230/LIPIcs.CSL.2013.248}, annote = {Keywords: categorical proof-theory, fixpoints, initial and final (co)algebras, inductive and coinductive types} }
Feedback for Dagstuhl Publishing