| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6153329 | 2024-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6060677 | 2023-11-03 | Paper |
| Process calculus based upon evaluation to committed form | 2023-06-28 | Paper |
| Computational adequacy via ‘mixed’ inductive definitions | 2023-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5094144 | 2022-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993352 | 2021-06-15 | Paper |
| Constructing infinitary quotient-inductive types | 2020-09-23 | Paper |
| Typal Heterogeneous Equality Types | 2020-09-11 | Paper |
| Models of Type Theory Based on Moore Paths | 2020-05-26 | Paper |
| Modal dependent type theory and dependent right adjoints | 2020-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4611379 | 2019-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4611383 | 2019-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5278410 | 2017-07-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5277978 | 2017-07-12 | Paper |
| A dependent type theory with abstractable names | 2016-08-01 | Paper |
| Denotational Semantics with Nominal Scott Domains | 2015-08-14 | Paper |
| FreshML | 2015-07-02 | Paper |
| Nominal system T | 2015-06-11 | Paper |
| Full abstraction for nominal Scott domains | 2014-11-27 | Paper |
| Generative unbinding of names | 2014-09-12 | Paper |
| Contextual equivalence for inductive definitions with binders in higher order typed functional programming | 2014-08-14 | Paper |
| Nominal Equational Logic | 2013-12-06 | Paper |
| Nominal Sets | 2013-09-23 | Paper |
| Encoding abstract syntax without fresh names | 2013-08-01 | Paper |
| System F i | 2013-06-28 | Paper |
| Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion | 2013-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2915698 | 2012-09-18 | Paper |
| Structural recursion with locally scoped names | 2011-07-14 | Paper |
| Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming | 2009-03-31 | Paper |
| Alpha-structural recursion and induction | 2008-12-21 | Paper |
| Generative Unbinding of Names | 2008-08-07 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Theorem Proving in Higher Order Logics | 2006-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714442 | 2006-01-02 | Paper |
| On a monadic semantics for freshness | 2005-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024852 | 2005-07-04 | Paper |
| Nominal logic, a first order theory of names and binding | 2004-11-23 | Paper |
| Nominal unification | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813228 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737141 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431359 | 2003-10-22 | Paper |
| Tripos theory in retrospect | 2002-10-31 | Paper |
| A new approach to abstract syntax with variable binding | 2002-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721104 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2704328 | 2001-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499144 | 2001-03-06 | Paper |
| Parametric polymorphism and operational equivalence | 2000-09-04 | Paper |
| Process calculus based upon evaluation to committed form | 1999-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225152 | 1999-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222926 | 1999-01-06 | Paper |
| A note on logical relations between semantics and syntax | 1997-12-08 | Paper |
| Relational properties of domains | 1997-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870806 | 1996-11-25 | Paper |
| A co-induction principle for recursively defined domains | 1994-04-05 | Paper |
| New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic | 1992-09-27 | Paper |
| On an interpretation of second order quantification in first order intuitionistic propositional logic | 1992-09-27 | Paper |
| Conceptual completeness for first-order intuitionistic logic: An application of categorical logic | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3202989 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5752573 | 1989-01-01 | Paper |
| Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786612 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3798834 | 1987-01-01 | Paper |
| Some Results on Locally Finitely Presentable Categories | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3693678 | 1985-01-01 | Paper |
| Amalgamation and interpolation in the category of Heyting algebras | 1983-01-01 | Paper |
| An application of open maps to categorical logic | 1983-01-01 | Paper |
| Fuzzy sets do not form a topos | 1982-01-01 | Paper |
| Tripos theory | 1980-01-01 | Paper |
