| Publication | Date of Publication | Type |
|---|
Algebraic types in PER models
Lecture Notes in Computer Science | 2023-04-12 | Paper |
The S-replete construction
Category Theory and Computer Science | 2022-12-16 | Paper |
| scientific article; zbMATH DE number 7533330 (Why is no real title available?) | 2022-05-28 | Paper |
| The linear-non-linear substitution 2-monad | 2022-01-10 | Paper |
The linear-non-linear substitution 2-monad
(available as arXiv preprint) | 2022-01-10 | Paper |
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Selecta Mathematica. New Series | 2018-07-16 | Paper |
Hopf measuring comonoids and enrichment
Proceedings of the London Mathematical Society | 2017-12-13 | Paper |
Classical lambda calculus in modern dress
Mathematical Structures in Computer Science | 2017-06-14 | Paper |
| Measuring Comodules and Enrichment | 2017-03-29 | Paper |
| Towards a notion of lambda monoid | 2016-05-06 | Paper |
| Pseudo-distributive laws | 2016-05-03 | Paper |
Elements of a theory of algebraic theories
Theoretical Computer Science | 2014-07-25 | Paper |
The category theoretic understanding of universal algebra: Lawvere theories and monads
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| A category theoretic formulation for Engeler-style models of the untyped \(\lambda\)-calculus | 2013-12-04 | Paper |
| Symmetric monoidal sketches and categories of wirings | 2013-09-09 | Paper |
Pseudo-commutative monads
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Two-dimensional linear algebra
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
| Moduli and periods of simply connected Enriques surfaces | 2012-10-01 | Paper |
Foreword
Applied Categorical Structures | 2011-03-30 | Paper |
Some reasons for generalising domain theory
Mathematical Structures in Computer Science | 2010-05-17 | Paper |
The Ackermann Award 2007
Computer Science Logic | 2009-03-05 | Paper |
The cartesian closed bicategory of generalised species of structures
Journal of the London Mathematical Society | 2008-03-13 | Paper |
Combining algebraic effects with continuations
Theoretical Computer Science | 2007-05-11 | Paper |
Categorical proof theory of classical propositional calculus
Theoretical Computer Science | 2007-01-09 | Paper |
Discrete Lawvere theories and computational effects
Theoretical Computer Science | 2007-01-09 | Paper |
Combining effects: sum and tensor
Theoretical Computer Science | 2006-08-16 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Traced Premonoidal Categories
RAIRO - Theoretical Informatics and Applications | 2004-03-29 | Paper |
Traced Premonoidal Categories
RAIRO - Theoretical Informatics and Applications | 2004-03-29 | Paper |
Traced Premonoidal Categories
RAIRO - Theoretical Informatics and Applications | 2004-03-29 | Paper |
Glueing and orthogonality for models of linear logic
Theoretical Computer Science | 2003-07-29 | Paper |
| scientific article; zbMATH DE number 1948179 (Why is no real title available?) | 2003-07-10 | Paper |
Proof theory in the abstract
Annals of Pure and Applied Logic | 2003-03-22 | Paper |
Pseudo-commutative monads and pseudo-closed 2-categories
Journal of Pure and Applied Algebra | 2002-12-02 | Paper |
Variations on realizability: realizing the propositional axiom of choice
Mathematical Structures in Computer Science | 2002-10-31 | Paper |
| scientific article; zbMATH DE number 1497731 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 1497810 (Why is no real title available?) | 2001-03-04 | Paper |
| scientific article; zbMATH DE number 1241700 (Why is no real title available?) | 1999-01-18 | 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 19486 (Why is no real title available?) | 1992-06-26 | Paper |
The Discrete Objects in the Effective Topos
Proceedings of the London Mathematical Society | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4187810 (Why is no real title available?) | 1989-01-01 | Paper |
A small complete category
Annals of Pure and Applied Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3825806 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3821723 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3759128 (Why is no real title available?) | 1981-01-01 | Paper |
Tripos theory
Mathematical Proceedings of the Cambridge Philosophical Society | 1980-01-01 | Paper |
Filter spaces and continuous functionals
Annals of Mathematical Logic | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3664922 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3668825 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3655922 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3655921 (Why is no real title available?) | 1977-01-01 | Paper |
A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
Journal of the London Mathematical Society | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3523517 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3523518 (Why is no real title available?) | 1975-01-01 | Paper |
Monoidal bicategories, differential linear logic, and analytic functors
(available as arXiv preprint) | N/A | Paper |
