| Publication | Date of Publication | Type |
|---|
| Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem | 2026-04-02 | Paper |
| Convolution products on double categories and categorification of rule algebras | 2024-10-21 | Paper |
| Parsing as a lifting problem and the Chomsky-Sch\"utzenberger representation theorem | 2022-12-18 | Paper |
Sampling \(\beta\)-normal linear \(\lambda\)-terms
Pure Mathematics and Applications | 2022-11-09 | Paper |
| The sequent calculus of skew monoidal categories | 2022-05-03 | Paper |
| Eilenberg-Kelly reloaded | 2022-04-29 | Paper |
| Bifibrations of polycategories and classical linear logic | 2022-04-29 | Paper |
| Proof Theory of Partially Normal Skew Monoidal Categories | 2022-01-10 | Paper |
Proof Theory of Partially Normal Skew Monoidal Categories
(available as arXiv preprint) | 2022-01-10 | Paper |
The sequent calculus of skew monoidal categories
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | 2021-12-08 | Paper |
The sequent calculus of skew monoidal categories
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | 2021-12-08 | Paper |
| Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms | 2021-06-15 | Paper |
A theory of linear typings as flows on 3-valent graphs
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| Deductive Systems and Coherence for Skew Prounital Closed Categories | 2021-01-11 | Paper |
| scientific article; zbMATH DE number 7204452 (Why is no real title available?) | 2020-05-26 | Paper |
Connected chord diagrams and bridgeless maps
The Electronic Journal of Combinatorics | 2019-12-09 | Paper |
Connected chord diagrams and bridgeless maps
The Electronic Journal of Combinatorics | 2019-12-09 | Paper |
A sequent calculus for a semi-associative law
(available as arXiv preprint) | 2019-02-25 | Paper |
| Two Questions about the Fractional Counting of Partitions | 2018-10-30 | Paper |
An Isbell duality theorem for type refinement systems
Mathematical Structures in Computer Science | 2018-05-17 | Paper |
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
A sequent calculus for a semi-associative law
(available as arXiv preprint) | 2018-03-27 | Paper |
Linear lambda terms as invariants of rooted trivalent maps
Journal of Functional Programming | 2017-10-23 | Paper |
| A sequent calculus for the Tamari order | 2017-01-11 | Paper |
Functors are type refinement systems
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
A correspondence between rooted planar maps and normal planar lambda terms
Logical Methods in Computer Science | 2015-10-29 | Paper |
| Counting isomorphism classes of $\beta$-normal linear lambda terms | 2015-09-25 | Paper |
Focusing and higher-order abstract syntax
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Type refinement and monoidal closed bifibrations | 2013-10-01 | Paper |
On the unity of duality
Annals of Pure and Applied Logic | 2008-04-24 | Paper |
