| Publication | Date of Publication | Type |
|---|
| Duality for positive opetopes and positive zoom complexes | 2020-12-31 | Paper |
| Whence long-distance indefinite readings? Solving Chierchia's puzzle with dependent types | 2020-01-15 | Paper |
| Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account | 2019-06-26 | Paper |
| Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches | 2019-05-24 | Paper |
| co-Semi-analytic Functors | 2019-05-24 | Paper |
| Positive Opetopes with Contractions form a Test Category | 2017-12-16 | Paper |
| Theories of analytic monads | 2016-07-26 | Paper |
| Rigidity is undecidable | 2016-07-26 | Paper |
| Scope ambiguities, monads and strengths | 2016-05-12 | Paper |
| Monads of regular theories | 2015-06-19 | Paper |
| Polynomial and Analytic Functors and Monads, revisited | 2015-06-13 | Paper |
| Generalized Płonka sums and products | 2015-02-05 | Paper |
| Generalized Quantifiers on Dependent Types: A System for Anaphora | 2014-01-31 | Paper |
| The web monoid and opetopic sets | 2013-06-24 | Paper |
| Weights for Monoids and Actions of Monoids | 2013-06-13 | Paper |
| The formal theory of monoidal monads | 2012-10-16 | Paper |
| Lax Monoidal Fibrations | 2011-10-19 | Paper |
| The Partial Simplicial Category and Algebras for Monads | 2010-12-30 | Paper |
| Computads and Multitopic Sets | 2008-11-20 | Paper |
| The category of 3-computads is not cartesian closed | 2008-09-04 | Paper |
| Multitopes are the same as principal ordered face structures | 2007-10-28 | Paper |
| On positive opetopes, positive opetopic cardinals and positive opetopic set | 2007-08-20 | Paper |
| On ordered face structures and many-to-one computads | 2007-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430400 | 2003-10-09 | Paper |
| Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics | 2003-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2709207 | 2001-04-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395578 | 1999-02-22 | Paper |
| Model completions and r-Heyting categories | 1998-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4853372 | 1996-08-18 | Paper |
| A sheaf representation and duality for finitely presented Heyting algebras | 1996-05-13 | Paper |
| Undefinability of propositional quantifiers in the modal system S4 | 1996-02-07 | Paper |
| Descent and duality | 1995-02-28 | Paper |
| Formal systems for modal operators on locales | 1994-04-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4018073 | 1993-01-16 | Paper |
| The Skolem-Löwenheim theorem in toposes. II | 1985-01-01 | Paper |
| Sheaves over Heyting lattices | 1985-01-01 | Paper |
| The Skolem-Löwenheim theorem in toposes | 1983-01-01 | Paper |
