| Publication | Date of Publication | Type |
|---|
Fixpoint constructions in focused orthogonality models of linear logic
| 2026-04-02 | Paper |
Free commutative monoids in homotopy type theory
| 2026-04-02 | Paper |
A type theory for Cartesian closed bicategories
| 2024-12-19 | Paper |
Stabilized profunctors and stable species of structures
Logical Methods in Computer Science | 2024-06-27 | Paper |
A combinatorial approach to higher-order structure for polynomial functors
| 2024-05-27 | Paper |
Semantic analysis of normalisation by evaluation for typed lambda calculus
Mathematical Structures in Computer Science | 2023-04-27 | Paper |
Lifting as a KZ-doctrine
Category Theory and Computer Science | 2022-12-16 | Paper |
Quotients, inductive types, and quotient inductive types
| 2022-08-02 | Paper |
Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus
| 2022-07-18 | Paper |
Coherence for bicategorical cartesian closed structure
Mathematical Structures in Computer Science | 2022-04-05 | Paper |
Free Commutative Monoids in Homotopy Type Theory
| 2021-10-11 | Paper |
Algebraic models of simple type theories. A polynomial approach
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Coherence and normalisation-by-evaluation for bicategorical Cartesian closed structure
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Relative full completeness for bicategorical Cartesian closed structure
| 2020-09-23 | Paper |
Constructing infinitary quotient-inductive types
| 2020-09-23 | Paper |
List Objects with Algebraic Structure
| 2020-05-26 | Paper |
Classical logic with Mendler induction
Journal Of Logic And Computation | 2020-04-29 | Paper |
Lawvere theories and C-systems
Proceedings of the American Mathematical Society | 2020-04-07 | Paper |
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Selecta Mathematica. New Series | 2018-07-16 | Paper |
Substitution, jumps, and algebraic effects
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
On the concrete representation of discrete enriched abstract clones
Tbilisi Mathematical Journal | 2018-01-23 | Paper |
Classical Logic with Mendler Induction
Logical Foundations of Computer Science | 2017-07-21 | Paper |
Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
A theory of effects and resources: adjunction models and polarised calculi
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Isomorphisms of generic recursive polynomial types
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
An Axiomatics and a Combinatorial Model of Creation/Annihilation Operators
| 2015-06-21 | Paper |
Analytic functors between presheaf categories over groupoids
Theoretical Computer Science | 2014-07-25 | Paper |
Term equational systems and logics (extended abstract)
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Functorial Semantics of Second-Order Algebraic Theories
| 2014-01-19 | Paper |
The bicategory-theoretic solution of recursive domain equations
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
An equational metalogic for monadic equational systems
Theory and Applications of Categories | 2013-10-25 | Paper |
Comparing operational models of name-passing process calculi
| 2013-09-11 | Paper |
System F i
Lecture Notes in Computer Science | 2013-06-28 | Paper |
The algebra of directed acyclic graphs
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Discrete Generalised Polynomial Functors
Automata, Languages, and Programming | 2012-11-01 | Paper |
On the mathematical synthesis of equational logics
Logical Methods in Computer Science | 2012-04-02 | Paper |
Second-Order Equational Logic (Extended Abstract)
Computer Science Logic | 2010-09-03 | Paper |
Second-Order Algebraic Theories
Mathematical Foundations of Computer Science 2010 | 2010-09-03 | Paper |
An abstract characterization of Thompson's group \(F\).
Semigroup Forum | 2010-05-21 | Paper |
On the construction of free algebras for equational systems
Theoretical Computer Science | 2009-04-29 | Paper |
A congruence rule format for name-passing process calculi
Information and Computation | 2009-04-14 | Paper |
Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
Lecture Notes in Computer Science | 2009-03-10 | Paper |
The cartesian closed bicategory of generalised species of structures
Journal of the London Mathematical Society | 2008-03-13 | Paper |
Equational Systems and Free Constructions (Extended Abstract)
Automata, Languages and Programming | 2007-11-28 | Paper |
An objective representation of the Gaussian integers
Journal of Symbolic Computation | 2007-08-24 | Paper |
Remarks on isomorphisms in typed lambda calculi with empty and sum types
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
Comparing operational models of name-passing process calculi
Information and Computation | 2006-06-30 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
scientific article; zbMATH DE number 2172974 (Why is no real title available?)
| 2005-06-01 | Paper |
Objects of categories as complex numbers
Advances in Mathematics | 2005-01-11 | Paper |
scientific article; zbMATH DE number 1759488 (Why is no real title available?)
| 2002-06-25 | Paper |
Unique factorisation lifting functors and categories of linearly-controlled processes
Mathematical Structures in Computer Science | 2002-06-15 | Paper |
A fully abstract model for the \(\pi\)-calculus.
Information and Computation | 2002-01-01 | Paper |
Domains in \(H\)
Theoretical Computer Science | 2001-08-20 | Paper |
scientific article; zbMATH DE number 1392305 (Why is no real title available?)
| 2000-01-25 | Paper |
scientific article; zbMATH DE number 1342278 (Why is no real title available?)
| 1999-11-21 | Paper |
scientific article; zbMATH DE number 1231568 (Why is no real title available?)
| 1998-12-20 | Paper |
Axiomatic Domain Theory in Categories of Partial Maps
| 1998-06-14 | Paper |
scientific article; zbMATH DE number 1086664 (Why is no real title available?)
| 1998-03-17 | Paper |
An enrichment theorem for an axiomatisation of categories of domains and continuous functions
Mathematical Structures in Computer Science | 1998-03-12 | Paper |
Two models of synthetic domain theory
Journal of Pure and Applied Algebra | 1998-01-11 | Paper |
A coinduction principle for recursive data types based on bisimulation
Information and Computation | 1997-08-17 | Paper |
Order-enrichment for categories of partial maps
Mathematical Structures in Computer Science | 1996-10-21 | Paper |
Stabilized profunctors and stable species of structures
| N/A | Paper |
Fixpoint constructions in focused orthogonality models of linear logic
| N/A | Paper |
Monoidal bicategories, differential linear logic, and analytic functors
| N/A | Paper |
