| Publication | Date of Publication | Type |
|---|
Remembrances of Marta Bunge
Theory and Applications of Categories | 2024-06-08 | Paper |
An ecumenical notion of entailment
Synthese | 2023-12-14 | Paper |
| Dialectica Comonads (Invited Talk) | 2023-12-08 | Paper |
The Gödel fibration
(available as arXiv preprint) | 2023-08-08 | Paper |
| Parmesan: mathematical concept extraction for education | 2023-07-13 | Paper |
Dialectica principles via Gödel doctrines
Theoretical Computer Science | 2023-02-01 | Paper |
Dialectica logical principles: not only rules
Journal Of Logic And Computation | 2023-01-04 | Paper |
| Preface to Intuitionistic modal logic 2017 | 2022-10-12 | Paper |
Applied Category Theory in Chemistry, Computing, and Social Networks
Notices of the American Mathematical Society | 2022-08-31 | Paper |
A dialectica-like model of linear logic
Category Theory and Computer Science | 2022-08-16 | Paper |
Dialectica logical principles
(available as arXiv preprint) | 2022-07-01 | Paper |
Dialectica Principles via G\"odel Doctrines
(available as arXiv preprint) | 2022-05-14 | Paper |
| scientific article; zbMATH DE number 7503144 (Why is no real title available?) | 2022-04-04 | Paper |
| scientific article; zbMATH DE number 7455712 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455712 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
| On the Lambek calculus with an exchange modality | 2021-12-20 | Paper |
On the Lambek calculus with an exchange modality
(available as arXiv preprint) | 2021-12-20 | Paper |
| The ILLTP library for intuitionistic linear logic | 2021-12-20 | Paper |
The ILLTP library for intuitionistic linear logic
(available as arXiv preprint) | 2021-12-20 | Paper |
Dialectica Logical Principles
(available as arXiv preprint) | 2021-09-16 | Paper |
| Kolmogorov-Veloso Problems and Dialectica Categories | 2021-07-16 | Paper |
Multiple conclusion linear logic: cut elimination and more
Journal Of Logic And Computation | 2020-04-29 | Paper |
| Bounded Dialectica interpretation: categorically | 2019-03-11 | Paper |
Intuitionistic modal logic: a 15-year retrospective
Journal Of Logic And Computation | 2019-01-31 | Paper |
Dialectical categories, cardinalities of the continuum and combinatorics of ideals
Logic Journal of the IGPL | 2019-01-08 | Paper |
Linear logic model of state revisited
Logic Journal of the IGPL | 2019-01-08 | Paper |
On explicit substitutions and names (extended abstract)
Automata, Languages and Programming | 2018-07-04 | Paper |
| Fibrational modal type theory | 2018-04-23 | Paper |
Dialectica categories for the Lambek calculus
(available as arXiv preprint) | 2018-04-06 | Paper |
Multiple conclusion linear logic: cut elimination and more
Logical Foundations of Computer Science | 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
Trends in Logic | 2015-05-22 | Paper |
Bridges from language to logic: concepts, contexts and ontologies
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
Intuitionistic N-graphs
Logic Journal of the IGPL | 2015-02-27 | Paper |
Constructive description logics hybrid-style
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
| Basic constructive modality | 2013-04-24 | Paper |
Natural deduction and context as (constructive) modality
Modeling and Using Context | 2010-04-06 | Paper |
| Dialectica and Chu constructions: cousins? | 2007-07-16 | 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 |
| A Parigot-style linear \(\lambda\)-calculus for full intuitionistic linear logic | 2006-12-19 | Paper |
Intuitionistic hybrid logic
Journal of Applied Logic | 2006-10-10 | Paper |
| scientific article; zbMATH DE number 5000963 (Why is no real title available?) | 2006-01-24 | Paper |
Relating categorical semantics for intuitionistic linear logic
Applied Categorical Structures | 2005-06-16 | Paper |
Poset-valued sets or how to build models for linear logics
Theoretical Computer Science | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2064301 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 2064304 (Why is no real title available?) | 2004-05-18 | Paper |
Linear explicit substitutions
Logic Journal of the IGPL | 2004-01-28 | Paper |
| scientific article; zbMATH DE number 1848312 (Why is no real title available?) | 2003-01-01 | Paper |
| scientific article; zbMATH DE number 1512620 (Why is no real title available?) | 2001-02-27 | Paper |
On an intuitionistic modal logic
Studia Logica | 2000-12-19 | Paper |
| scientific article; zbMATH DE number 1303730 (Why is no real title available?) | 1999-11-23 | Paper |
| scientific article; zbMATH DE number 1330136 (Why is no real title available?) | 1999-11-22 | Paper |
Computational types from a logical perspective
Journal of Functional Programming | 1999-05-18 | Paper |
| scientific article; zbMATH DE number 1223617 (Why is no real title available?) | 1999-04-19 | Paper |
| scientific article; zbMATH DE number 1223735 (Why is no real title available?) | 1998-11-15 | Paper |
| scientific article; zbMATH DE number 515728 (Why is no real title available?) | 1996-07-01 | Paper |
| scientific article; zbMATH DE number 512773 (Why is no real title available?) | 1994-04-07 | Paper |
Full intuitionistic linear logic
Annals of Pure and Applied Logic | 1994-03-27 | Paper |
| scientific article; zbMATH DE number 4104952 (Why is no real title available?) | 1989-01-01 | Paper |
Dialectica Petri Nets
(available as arXiv preprint) | N/A | Paper |
Categorifying computable reducibilities
(available as arXiv preprint) | N/A | Paper |
