| Publication | Date of Publication | Type |
|---|
Kripke-Joyal forcing for type theory and uniform fibrations
Selecta Mathematica. New Series | 2024-08-13 | Paper |
Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
Documenta Mathematica | 2024-05-27 | Paper |
Towards a constructive simplicial model of Univalent Foundations
Journal of the London Mathematical Society | 2023-08-24 | Paper |
MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
Journal of Symbolic Logic | 2023-02-27 | Paper |
The Constructive Kan–Quillen Model Structure: Two New Proofs
The Quarterly Journal of Mathematics | 2023-01-19 | Paper |
The effective model structure and \(\infty\)-groupoid objects
Forum of Mathematics, Sigma | 2022-06-13 | Paper |
| Kripke-Joyal forcing for type theory and uniform fibrations | 2021-10-27 | Paper |
| On the formal theory of pseudomonads and pseudodistributive laws | 2021-02-09 | Paper |
On the formal theory of pseudomonads and pseudodistributive laws
(available as arXiv preprint) | 2021-02-09 | Paper |
The constructive Kan-Quillen model structure: two new proofs
(available as arXiv preprint) | 2019-07-11 | Paper |
Models of Martin-L\"of type theory from algebraic weak factorisation systems
(available as arXiv preprint) | 2019-06-04 | Paper |
Homotopy-initial algebras in type theory
Journal of the ACM | 2018-08-02 | Paper |
Homotopy-initial algebras in type theory
Journal of the ACM | 2018-08-02 | Paper |
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Selecta Mathematica. New Series | 2018-07-16 | Paper |
On operads, bimodules and analytic functors
Memoirs of the American Mathematical Society | 2017-10-10 | Paper |
On operads, bimodules and analytic functors
Memoirs of the American Mathematical Society | 2017-10-10 | Paper |
The Frobenius condition, right properness, and uniform fibrations
Journal of Pure and Applied Algebra | 2017-08-08 | Paper |
Inductive types in homotopy type theory
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Double ad junctions and free monads
Cahiers de Topologie et Géométrie Différentielle Catégoriques | 2014-01-03 | Paper |
Polynomial functors and polynomial monads
Mathematical Proceedings of the Cambridge Philosophical Society | 2013-01-15 | Paper |
Monads in double categories
Journal of Pure and Applied Algebra | 2011-04-29 | Paper |
Weighted limits in simplicial homotopy theory
Journal of Pure and Applied Algebra | 2010-03-01 | Paper |
Lawvere–Tierney sheaves in Algebraic Set Theory
Journal of Symbolic Logic | 2009-09-29 | Paper |
The identity type weak factorisation system
Theoretical Computer Science | 2008-12-12 | Paper |
The associated sheaf functor theorem in algebraic set theory
Annals of Pure and Applied Logic | 2008-12-05 | Paper |
Homotopy limits for 2-categories
Mathematical Proceedings of the Cambridge Philosophical Society | 2008-07-23 | Paper |
The cartesian closed bicategory of generalised species of structures
Journal of the London Mathematical Society | 2008-03-13 | Paper |
Spatiality for formal topologies
Mathematical Structures in Computer Science | 2007-04-12 | Paper |
The generalised type-theoretic interpretation of constructive set theory
Journal of Symbolic Logic | 2006-07-05 | Paper |
| scientific article; zbMATH DE number 2247251 (Why is no real title available?) | 2006-01-16 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Heyting-valued interpretations for constructive set theory
Annals of Pure and Applied Logic | 2005-12-06 | Paper |
| scientific article; zbMATH DE number 2085163 (Why is no real title available?) | 2004-08-09 | Paper |
Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences
(available as arXiv preprint) | N/A | Paper |
Monoidal bicategories, differential linear logic, and analytic functors
(available as arXiv preprint) | N/A | Paper |
