| Publication | Date of Publication | Type |
|---|
| 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 |
| https://portal.mardi4nfdi.de/entity/Q5039159 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5018487 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018490 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3119362 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4918421 | 2013-04-24 | Paper |
| Natural Deduction and Context as (Constructive) Modality | 2010-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5298120 | 2007-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413927 | 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 | 0001-01-03 | Paper |
| Categorifying computable reducibilities | 0001-01-03 | Paper |
