| Publication | Date of Publication | Type |
|---|
| Remembrances of Marta Bunge | 2024-06-08 | Paper |
| An ecumenical notion of entailment | 2023-12-14 | Paper |
| Dialectica Comonads (Invited Talk) | 2023-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6113375 | 2023-08-08 | Paper |
| Parmesan: mathematical concept extraction for education | 2023-07-13 | Paper |
| Dialectica principles via Gödel doctrines | 2023-02-01 | Paper |
| Dialectica logical principles: not only rules | 2023-01-04 | Paper |
| Preface to Intuitionistic modal logic 2017 | 2022-10-12 | Paper |
| Applied Category Theory in Chemistry, Computing, and Social Networks | 2022-08-31 | Paper |
| A dialectica-like model of linear logic | 2022-08-16 | Paper |
| Dialectica logical principles | 2022-07-01 | Paper |
| Dialectica Principles via G\"odel Doctrines | 2022-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5067955 | 2022-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020970 | 2022-01-11 | Paper |
| On the Lambek calculus with an exchange modality | 2021-12-20 | Paper |
| The ILLTP library for intuitionistic linear logic | 2021-12-20 | Paper |
| Dialectica Logical Principles | 2021-09-16 | Paper |
| Kolmogorov-Veloso Problems and Dialectica Categories | 2021-07-16 | Paper |
| Multiple conclusion linear logic: cut elimination and more | 2020-04-29 | Paper |
| Bounded Dialectica interpretation: categorically | 2019-03-11 | Paper |
| Intuitionistic modal logic: a 15-year retrospective | 2019-01-31 | Paper |
| Dialectical categories, cardinalities of the continuum and combinatorics of ideals | 2019-01-08 | Paper |
| Linear logic model of state revisited | 2019-01-08 | Paper |
| On explicit substitutions and names (extended abstract) | 2018-07-04 | Paper |
| Fibrational modal type theory | 2018-04-23 | Paper |
| Dialectica categories for the Lambek calculus | 2018-04-06 | Paper |
| Multiple conclusion linear logic: cut elimination and more | 2017-07-21 | Paper |
| Natural number objects in Dialectica categories | 2016-05-10 | Paper |
| If, not when | 2016-04-26 | Paper |
| Categorical semantics of linear logic for all | 2015-05-22 | Paper |
| Bridges from language to logic: concepts, contexts and ontologies | 2015-03-18 | Paper |
| Intuitionistic N-graphs | 2015-02-27 | Paper |
| Constructive description logics hybrid-style | 2013-04-26 | Paper |
| Basic constructive modality | 2013-04-24 | Paper |
| Natural deduction and context as (constructive) modality | 2010-04-06 | Paper |
| Dialectica and Chu constructions: cousins? | 2007-07-16 | Paper |
| A Parigot-style linear \(\lambda\)-calculus for full intuitionistic linear logic | 2006-12-19 | Paper |
| Intuitionistic hybrid logic | 2006-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367300 | 2006-01-24 | Paper |
| Relating categorical semantics for intuitionistic linear logic | 2005-06-16 | Paper |
| Poset-valued sets or how to build models for linear logics | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461801 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461805 | 2004-05-18 | Paper |
| Linear explicit substitutions | 2004-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4785506 | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508305 | 2001-02-27 | Paper |
| On an intuitionistic modal logic | 2000-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250365 | 1999-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260707 | 1999-11-22 | Paper |
| Computational types from a logical perspective | 1999-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218928 | 1999-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4219051 | 1998-11-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4283230 | 1996-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281466 | 1994-04-07 | Paper |
| Full intuitionistic linear logic | 1994-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3829551 | 1989-01-01 | Paper |
| Dialectica Petri Nets | N/A | Paper |
| Categorifying computable reducibilities | N/A | Paper |
