| Publication | Date of Publication | Type |
|---|
| The internal operads of combinatory algebras | 2026-04-02 | Paper |
| A braided lambda calculus | 2025-01-06 | Paper |
| Hopf monads on biproducts | 2024-03-25 | Paper |
Hopf monads on biproducts
(available as arXiv preprint) | 2024-03-25 | Paper |
Traced Monads and Hopf Monads
Compositionality | 2023-12-08 | Paper |
Decomposing typed lambda calculus into a couple of categorical programming languages
Category Theory and Computer Science | 2022-12-16 | Paper |
| scientific article; zbMATH DE number 7450001 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7450001 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
| Linear exponential comonads without symmetry | 2021-12-08 | Paper |
Linear exponential comonads without symmetry
(available as arXiv preprint) | 2021-12-08 | Paper |
| Linear distributivity with negation, star-autonomy, and Hopf monads | 2018-11-20 | Paper |
Bialgebras in Rel
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
A sound and complete axiomatization of delimited continuations
Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
Traced *-autonomous categories are compact closed
Theory and Applications of Categories | 2013-09-04 | Paper |
The uniformity principle on traced monoidal categories
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
A quantum double construction in Rel.
MSCS. Mathematical Structures in Computer Science | 2012-09-06 | Paper |
A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories
Mathematical Proceedings of the Cambridge Philosophical Society | 2010-01-28 | Paper |
Small-step and big-step semantics for call-by-need
Journal of Functional Programming | 2009-11-25 | Paper |
| scientific article; zbMATH DE number 5566134 (Why is no real title available?) | 2009-06-18 | Paper |
On traced monoidal closed categories
Mathematical Structures in Computer Science | 2009-05-06 | Paper |
A Terminating and Confluent Linear Lambda Calculus
Lecture Notes in Computer Science | 2008-09-25 | Paper |
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
Pillars of Computer Science | 2008-03-25 | Paper |
Relational Parametricity and Control
Logical Methods in Computer Science | 2007-10-11 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
| scientific article; zbMATH DE number 5080676 (Why is no real title available?) | 2006-12-19 | Paper |
| scientific article; zbMATH DE number 5080676 (Why is no real title available?) | 2006-12-19 | Paper |
| scientific article; zbMATH DE number 2185716 (Why is no real title available?) | 2005-07-04 | Paper |
| scientific article; zbMATH DE number 2182491 (Why is no real title available?) | 2005-06-23 | Paper |
Classical linear logic of implications
Mathematical Structures in Computer Science | 2005-05-06 | Paper |
The uniformity principle on traced monoidal categories
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 2005-04-04 | Paper |
| scientific article; zbMATH DE number 2061710 (Why is no real title available?) | 2004-03-22 | Paper |
| scientific article; zbMATH DE number 1948180 (Why is no real title available?) | 2003-07-10 | Paper |
| scientific article; zbMATH DE number 1942458 (Why is no real title available?) | 2003-06-30 | Paper |
Axioms for recursion in call-by-value
Higher-Order and Symbolic Computation | 2003-05-14 | Paper |
| scientific article; zbMATH DE number 1701354 (Why is no real title available?) | 2002-02-05 | Paper |
Girard translation and logical predicates
Journal of Functional Programming | 2000-09-20 | Paper |
| scientific article; zbMATH DE number 1393359 (Why is no real title available?) | 2000-01-26 | Paper |
| scientific article; zbMATH DE number 1342281 (Why is no real title available?) | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 1223613 (Why is no real title available?) | 1999-03-18 | Paper |
| scientific article; zbMATH DE number 1088052 (Why is no real title available?) | 1997-11-17 | Paper |
