| Publication | Date of Publication | Type |
|---|
| The Yoneda reduction of polymorphic types | 2026-03-23 | Paper |
| A partial metric semantics of higher-order types and approximate program transformations | 2026-03-23 | Paper |
| Curry and Howard meet Borel | 2024-12-06 | Paper |
| On the lattice of program metrics | 2024-10-21 | Paper |
| Intensional harmony as isomorphism | 2024-10-01 | Paper |
Towards logical foundations for probabilistic computation
Annals of Pure and Applied Logic | 2024-06-24 | Paper |
| Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs | 2023-11-27 | Paper |
| Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories | 2023-11-25 | Paper |
What’s Decidable About (Atomic) Polymorphism?
(available as arXiv preprint) | 2023-06-23 | Paper |
On counting propositional logic and Wagner's hierarchy
Theoretical Computer Science | 2023-06-21 | Paper |
| On Quantitative Algebraic Higher-Order Theories | 2022-04-28 | Paper |
The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
Studia Logica | 2022-03-23 | Paper |
| On measure quantifiers in first-order arithmetic | 2022-03-22 | Paper |
On measure quantifiers in first-order arithmetic
(available as arXiv preprint) | 2022-03-22 | Paper |
| Curry and Howard Meet Borel | 2022-03-21 | Paper |
| Proof nets, coends and the Yoneda isomorphism | 2021-12-20 | Paper |
Proof nets, coends and the Yoneda isomorphism
(available as arXiv preprint) | 2021-12-20 | Paper |
| A New Conjecture About Identity of Proofs | 2021-10-06 | Paper |
| From Identity to Difference: A Quantitative Interpretation of the Identity Type | 2021-07-13 | Paper |
| On Generalized Metric Spaces for the Simply Typed Lambda-Calculus (Extended Version) | 2021-04-27 | Paper |
On Measure Quantifiers in First-Order Arithmetic (Long Version)
(available as arXiv preprint) | 2021-04-25 | Paper |
| scientific article; zbMATH DE number 7204448 (Why is no real title available?) | 2020-05-26 | Paper |
| On the ``no deadlock criterion: from Herbrand's theorem to \textit{geometry of interaction} | 2020-02-13 | Paper |
Rule-following and the limits of formalization: Wittgenstein's considerations through the lens of logic
Boston Studies in the Philosophy and History of Science | 2020-02-04 | Paper |
On paradoxes in normal form
Topoi | 2020-01-17 | Paper |
On completeness and parametricity in the realizability semantics of System \textsf{F}
(available as arXiv preprint) | 2019-11-26 | Paper |
| The naturality of natural deduction (II). Some remarks on atomic polymorphism | 2019-08-29 | Paper |
| A normal paradox | 2019-07-24 | Paper |
| The Yoneda Reduction of Polymorphic Types (Extended Version) | 2019-07-08 | Paper |
The naturality of natural deduction
Studia Logica | 2019-05-15 | Paper |
Polymorphism and the obstinate circularity of second order logic: a victims' tale
The Bulletin of Symbolic Logic | 2018-05-03 | Paper |
| Proof nets and the instantiation overflow property | 2018-03-25 | Paper |
The naturality of natural deduction
(available as arXiv preprint) | 2016-07-22 | Paper |
Logic programming and logarithmic space
Programming Languages and Systems | 2016-02-26 | Paper |
