Search Results

Documents authored by de Paiva, Valeria

Document
Complete Volume
DOI: 10.4230/LIPIcs.CALCO.2023
LIPIcs, Volume 270, CALCO 2023, Complete Volume

Authors: Paolo Baldan and Valeria de Paiva

Published in: LIPIcs, Volume 270, 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)

Abstract
LIPIcs, Volume 270, CALCO 2023, Complete Volume
Cite as

10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 270, pp. 1-336, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@Proceedings{baldan_et_al:LIPIcs.CALCO.2023,
  title =	{{LIPIcs, Volume 270, CALCO 2023, Complete Volume}},
  booktitle =	{10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
  pages =	{1--336},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-287-7},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{270},
  editor =	{Baldan, Paolo and de Paiva, Valeria},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023},
  URN =		{urn:nbn:de:0030-drops-187967},
  doi =		{10.4230/LIPIcs.CALCO.2023},
  annote =	{Keywords: LIPIcs, Volume 270, CALCO 2023, Complete Volume}
}
Document
Front Matter
DOI: 10.4230/LIPIcs.CALCO.2023.0
Front Matter, Table of Contents, Preface, Conference Organization

Authors: Paolo Baldan and Valeria de Paiva

Published in: LIPIcs, Volume 270, 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)

Abstract
Front Matter, Table of Contents, Preface, Conference Organization
Cite as

10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 270, pp. 0:i-0:x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@InProceedings{baldan_et_al:LIPIcs.CALCO.2023.0,
  author =	{Baldan, Paolo and de Paiva, Valeria},
  title =	{{Front Matter, Table of Contents, Preface, Conference Organization}},
  booktitle =	{10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
  pages =	{0:i--0:x},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-287-7},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{270},
  editor =	{Baldan, Paolo and de Paiva, Valeria},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.0},
  URN =		{urn:nbn:de:0030-drops-187976},
  doi =		{10.4230/LIPIcs.CALCO.2023.0},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Document
Invited Talk
DOI: 10.4230/LIPIcs.CALCO.2021.3
Dialectica Comonads (Invited Talk)

Authors: Valeria de Paiva

Published in: LIPIcs, Volume 211, 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)

Abstract
Dialectica categories are interesting categorical models of Linear Logic which preserve the differences between linear connectives that the logic is supposed to make, unlike some of the most traditional models like coherence spaces. They arise from the categorical modelling of Gödel’s Dialectica interpretation and seem to be having a revival: connections between Dialectica constructions and containers, lenses and polynomials have been described recently in the literature. In this note I will recap the basic Dialectica constructions and then go on to describe the less well-known interplay of comonads, coalgebras and comonoids that characterizes the composite functor standing for the "of course!" operator in dialectica categories. This composition of comonads evokes some work on stateful games by Laird and others, also discussed in the setting of Reddy’s system LLMS (Linear Logic Model of State).
Cite as

Valeria de Paiva. Dialectica Comonads (Invited Talk). In 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 211, pp. 3:1-3:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{depaiva:LIPIcs.CALCO.2021.3,
  author =	{de Paiva, Valeria},
  title =	{{Dialectica Comonads}},
  booktitle =	{9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
  pages =	{3:1--3:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-212-9},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{211},
  editor =	{Gadducci, Fabio and Silva, Alexandra},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.3},
  URN =		{urn:nbn:de:0030-drops-153581},
  doi =		{10.4230/LIPIcs.CALCO.2021.3},
  annote =	{Keywords: Dialectica categories, Linear logic, Comonads}
}
Document
DOI: 10.4230/LIPIcs.MFCS.2021.87
The Gödel Fibration

Authors: Davide Trotta, Matteo Spadetto, and Valeria de Paiva

Published in: LIPIcs, Volume 202, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)

Abstract
We introduce the notion of a Gödel fibration, which is a fibration categorically embodying both the logical principles of traditional Skolemization (we can exchange the order of quantifiers paying the price of a functional) and the existence of a prenex normal form presentation for every logical formula. Building up from Hofstra’s earlier fibrational characterization of de Paiva’s categorical Dialectica construction, we show that a fibration is an instance of the Dialectica construction if and only if it is a Gödel fibration. This result establishes an intrinsic presentation of the Dialectica fibration, contributing to the understanding of the Dialectica construction itself and of its properties from a logical perspective.
Cite as

Davide Trotta, Matteo Spadetto, and Valeria de Paiva. The Gödel Fibration. In 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 202, pp. 87:1-87:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{trotta_et_al:LIPIcs.MFCS.2021.87,
  author =	{Trotta, Davide and Spadetto, Matteo and de Paiva, Valeria},
  title =	{{The G\"{o}del Fibration}},
  booktitle =	{46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)},
  pages =	{87:1--87:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-201-3},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{202},
  editor =	{Bonchi, Filippo and Puglisi, Simon J.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2021.87},
  URN =		{urn:nbn:de:0030-drops-145272},
  doi =		{10.4230/LIPIcs.MFCS.2021.87},
  annote =	{Keywords: Dialectica category, G\"{o}del fibration, Pseudo-monad}
}
Document
DOI: 10.4230/DagSemRep.248
Linear Logic and Applications (Dagstuhl Seminar 99341)

Authors: Valeria de Paiva, Josef von Genabith, Eike Ritter, and Richard Crouch

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Valeria de Paiva, Josef von Genabith, Eike Ritter, and Richard Crouch. Linear Logic and Applications (Dagstuhl Seminar 99341). Dagstuhl Seminar Report 248, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1999)

Copy BibTex To Clipboard

@TechReport{depaiva_et_al:DagSemRep.248,
  author =	{de Paiva, Valeria and von Genabith, Josef and Ritter, Eike and Crouch, Richard},
  title =	{{Linear Logic and Applications (Dagstuhl Seminar 99341)}},
  pages =	{1--21},
  ISSN =	{1619-0203},
  year =	{1999},
  type = 	{Dagstuhl Seminar Report},
  number =	{248},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.248},
  URN =		{urn:nbn:de:0030-drops-151349},
  doi =		{10.4230/DagSemRep.248},
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact