| Publication | Date of Publication | Type |
|---|
| Processes and hyperuniverses | 2022-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5090978 | 2022-07-21 | Paper |
| lambda!-calculus, Intersection Types, and Involutions | 2022-07-18 | Paper |
| On Quantitative Algebraic Higher-Order Theories | 2022-04-28 | Paper |
| LF+ in Coq for "fast and loose" reasoning | 2020-01-21 | Paper |
| The involutions-as-principal types/application-as-unification Analogy | 2019-07-04 | Paper |
| A natural deduction approach to dynamic logic | 2019-01-15 | Paper |
| Plugging-in proof development environments usingLocksinLF | 2018-10-19 | Paper |
| $\mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads | 2017-07-13 | Paper |
| A complete characterization of complete intersection-type preorders | 2017-06-13 | Paper |
| Implementing Cantor’s Paradise | 2016-12-21 | Paper |
| An open logical framework | 2016-04-28 | Paper |
| Categories of Coalgebraic Games with Selective Sum | 2015-06-26 | Paper |
| L ax F: Side Conditions and External Evidence as Monads | 2014-10-14 | Paper |
| A Framework for Defining Logical Frameworks | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863894 | 2013-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851321 | 2013-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851707 | 2013-10-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847778 | 2013-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847785 | 2013-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847805 | 2013-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843722 | 2013-08-23 | Paper |
| The Theory of Contexts for First Order and Higher Order Abstract Syntax | 2013-07-24 | Paper |
| Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic | 2013-07-24 | Paper |
| Unfixing the Fixpoint: The Theories of the λY-Calculus | 2013-05-28 | Paper |
| Categories of Coalgebraic Games | 2012-09-25 | Paper |
| Equivalences and Congruences on Infinite Conway Games | 2012-06-04 | Paper |
| Conway Games, Coalgebraically | 2012-06-01 | Paper |
| Conway games, algebraically and coalgebraically | 2012-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408153 | 2010-02-24 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi | 2009-10-22 | Paper |
| RPO, Second-order Contexts, and Lambda-calculus | 2009-08-20 | Paper |
| On the completeness of order-theoretic models of the \(\lambda \)-calculus | 2009-06-08 | Paper |
| A Conditional Logical Framework | 2009-01-27 | Paper |
| A type assignment system for game semantics | 2008-06-24 | Paper |
| RPO, Second-Order Contexts, and λ-Calculus | 2008-04-11 | Paper |
| Coalgebraic description of generalised binary methods | 2007-09-06 | Paper |
| Consistency of the theory of contexts | 2006-06-09 | Paper |
| Types for Proofs and Programs | 2005-12-23 | Paper |
| Types for Proofs and Programs | 2005-12-23 | Paper |
| Compositional characterisations of \(\lambda\)-terms using intersection types | 2005-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024839 | 2005-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448355 | 2004-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945250 | 2003-08-25 | Paper |
| A category of compositional domain-models for separable Stone spaces. | 2003-01-21 | Paper |
| Prelogical relations | 2003-01-14 | Paper |
| Positive qualities and the ontological argument | 2002-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536366 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535076 | 2002-06-12 | Paper |
| Approximation Theorems for Intersection Type Systems | 2002-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499309 | 2001-03-05 | Paper |
| Encoding modal logics in logical frameworks | 2001-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508300 | 2001-01-17 | Paper |
| \(\pi\)-calculus in (Co)inductive-type theory | 2000-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941985 | 2000-03-19 | Paper |
| Coinductive characterizations of applicative structures | 1999-11-25 | Paper |
| Addendum and corrigendum: ``Choice principle in hyperuniverses | 1999-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263866 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260372 | 1999-09-19 | Paper |
| Structured Operational Semantics of a fragment of the language Scheme | 1999-05-18 | Paper |
| Semantical analysis of perpetual strategies in \(\lambda\)-calculus | 1999-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373418 | 1998-01-21 | Paper |
| An axiomatization of partial n-place operations | 1998-01-05 | Paper |
| Choice principles in hyperuniverses | 1997-03-11 | Paper |
| A general construction of hyperuniverses | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4322072 | 1996-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4847018 | 1996-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4283243 | 1996-04-16 | Paper |
| A variable typed logic of effects | 1995-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281469 | 1994-03-10 | Paper |
| Using typed lambda calculus to implement formal systems on a machine | 1993-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142164 | 1993-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035237 | 1993-05-18 | Paper |
| A framework for defining logics | 1993-05-16 | Paper |
| An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4018065 | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012880 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3491534 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3819967 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030821 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816053 | 1987-01-01 | Paper |
| The consistency of the axiom of universality for the ordering of cardinalities | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3748275 | 1985-01-01 | Paper |
| A Model where Cardinal Ordering is Universal | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773884 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3221961 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343978 | 1984-01-01 | Paper |
| COMPARISON OF THE AXIOMS OF LOCAL AND GLOBAL UNIVERSALITY | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3328538 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659776 | 1983-01-01 | Paper |
