| Publication | Date of Publication | Type |
|---|
A class of higher inductive types in Zermelo‐Fraenkel set theory
Mathematical Logic Quarterly | 2023-09-12 | Paper |
| Unifying Cubical Models of Univalent Type Theory | 2023-02-07 | Paper |
On Church’s thesis in cubical assemblies
Mathematical Structures in Computer Science | 2022-12-09 | Paper |
| Double negation stable h-propositions in cubical sets | 2022-09-29 | Paper |
| Definable and Non-definable Notions of Structure | 2022-06-27 | Paper |
scientific article; zbMATH DE number 7471707 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471707 (Why is no real title available?) | 2022-02-09 | Paper |
The magnetorotational instability prefers three dimensions
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2021-10-29 | Paper |
The magnetorotational instability prefers three dimensions
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2021-10-29 | Paper |
The geometry of random walk isomorphism theorems
Annales de l'Institut Henri Poincaré. Probabilités et Statistiques | 2021-07-23 | Paper |
Lifschitz realizability as a topological construction
Journal of Symbolic Logic | 2021-04-15 | Paper |
Lifschitz realizability as a topological construction
Journal of Symbolic Logic | 2021-04-15 | Paper |
Random spanning forests and hyperbolic symmetry
Communications in Mathematical Physics | 2021-03-25 | Paper |
On the Nielsen-Schreier Theorem in Homotopy Type Theory
(available as arXiv preprint) | 2020-10-02 | Paper |
Analyticity for rapidly determined properties of Poisson Galton-Watson trees
Electronic Communications in Probability | 2020-07-29 | Paper |
Analyticity for rapidly determined properties of Poisson Galton-Watson trees
Electronic Communications in Probability | 2020-07-29 | Paper |
Dynkin isomorphism and Mermin-Wagner theorems for hyperbolic sigma models and recurrence of the two-dimensional vertex-reinforced jump process
The Annals of Probability | 2019-12-18 | Paper |
Dynkin isomorphism and Mermin-Wagner theorems for hyperbolic sigma models and recurrence of the two-dimensional vertex-reinforced jump process
The Annals of Probability | 2019-12-18 | Paper |
Every metric space is separable in function realizability
(available as arXiv preprint) | 2019-05-24 | Paper |
On Church's Thesis in Cubical Assemblies
(available as arXiv preprint) | 2019-05-08 | Paper |
| Identity Types in Algebraic Model Structures and Cubical Sets | 2018-08-02 | Paper |
| Separating Path and Identity Types in Presheaf Models of Univalent Type Theory | 2018-08-02 | Paper |
Evidence of the Poisson/Gaudin–Mehta phase transition for band matrices on global scales
Random Matrices: Theory and Applications | 2018-06-19 | Paper |
| On Dividing by Two in Constructive Mathematics | 2018-04-12 | Paper |
| W-Types with Reductions and the Small Object Argument | 2018-02-21 | Paper |
| Lifting Problems in Grothendieck Fibrations | 2018-02-07 | Paper |
An algebraic weak factorisation system on 01-substitution sets: a constructive proof
Journal of Logic and Analysis | 2017-04-10 | Paper |
| Some Brouwerian Counterexamples Regarding Nominal Sets in Constructive Set Theory | 2017-02-06 | Paper |
CZF does not have the existence property
Annals of Pure and Applied Logic | 2014-02-14 | Paper |
A categorical formulation of Kraus' paradox
(available as arXiv preprint) | N/A | Paper |
