| Publication | Date of Publication | Type |
|---|
| A comonad for Grothendieck fibrations | 2024-05-08 | Paper |
| Algebraic types in PER models | 2023-04-12 | Paper |
| Elementary fibrations of enriched groupoids | 2022-06-24 | Paper |
| A characterisation of elementary fibrations | 2022-04-25 | Paper |
| Doctrines, modalities and comonads | 2022-04-05 | Paper |
| Quasitoposes as elementary quotient completions | 2021-11-30 | Paper |
| Elementary doctrines as coalgebras | 2021-01-22 | Paper |
| Relating Quotient Completions via Categorical Logic | 2020-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5208904 | 2020-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4968383 | 2019-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3176742 | 2018-07-23 | Paper |
| Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies | 2018-02-18 | Paper |
| Equilogical spaces and algebras for a double-power monad | 2017-12-08 | Paper |
| Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator | 2017-12-08 | Paper |
| The category of equilogical spaces and the effective topos as homotopical quotients | 2017-01-17 | Paper |
| Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent | 2016-08-15 | Paper |
| Topologies and free constructions | 2015-04-09 | Paper |
| Unifying exact completions | 2015-02-05 | Paper |
| Sobriety for equilogical spaces | 2014-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863881 | 2013-12-04 | Paper |
| Quotient completion for the foundation of constructive mathematics | 2013-11-19 | Paper |
| Elementary quotient completion | 2013-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852351 | 2013-10-08 | Paper |
| Custom automations in Mizar | 2013-04-17 | Paper |
| Synthetic domain theory and models of linear Abadi {\&} Plotkin logic | 2008-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718571 | 2006-01-16 | Paper |
| Completions, comonoids, and topological spaces | 2005-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783307 | 2002-12-04 | Paper |
| Fixpoint operators for domain equations | 2002-07-15 | Paper |
| Domains in \(H\) | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511152 | 2001-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953035 | 2000-12-14 | Paper |
| Repleteness and the associated sheaf | 1999-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4219032 | 1999-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222887 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222894 | 1998-12-20 | Paper |
| Two models of synthetic domain theory | 1998-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362974 | 1997-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138539 | 1993-11-18 | Paper |
| Colimit completions and the effective topos | 1990-01-01 | Paper |
| The Discrete Objects in the Effective Topos | 1990-01-01 | Paper |
| Categories of partial maps | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3720583 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3744154 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3699883 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671153 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671166 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3953764 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4184834 | 1978-01-01 | Paper |
