| Publication | Date of Publication | Type |
|---|
| Category theory in Isabelle/HOL as a basis for meta-logical investigation | 2024-02-28 | Paper |
| Computer-Supported Exploration of a Categorical Axiomatization of Modeloids | 2022-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4991691 | 2021-06-03 | Paper |
| Labor market trends and unemployment insurance generosity during the pandemic | 2021-03-29 | Paper |
| Automating free logic in HOL, with an experimental application in category theory | 2020-03-03 | Paper |
| A calculus of regions respecting both measure and topology | 2019-12-19 | Paper |
| Computer-supported Exploration of a Categorical Axiomatization of Modeloids | 2019-10-27 | Paper |
| CAN MODALITIES SAVE NAIVE SET THEORY? | 2018-05-03 | Paper |
| Automating Free Logic in Isabelle/HOL | 2016-09-28 | Paper |
| Axiomatizing Category Theory in Free Logic | 2016-09-06 | Paper |
| Remembering Klaus Peters | 2016-06-15 | Paper |
| Cartesian closed categories of separable Scott domains | 2014-07-25 | Paper |
| Stochastic \(\lambda\)-calculi: an extended abstract | 2014-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5416164 | 2014-05-19 | Paper |
| Reconsidering Ordered Pairs | 2009-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509173 | 2008-07-01 | Paper |
| Equilogical spaces | 2004-08-06 | Paper |
| Continuous Lattices and Domains | 2003-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4785457 | 2003-01-01 | Paper |
| Local realizability toposes and a modal logic for computability | 2002-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499150 | 2001-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513596 | 2001-02-28 | Paper |
| Some reflections on Strachey and his work | 2000-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385538 | 1998-05-14 | Paper |
| A type-theoretical alternative to ISWIM, CUCH, OWHY | 1996-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140381 | 1993-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3684171 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3664454 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3959414 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960746 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3661543 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898534 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3050433 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208629 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898465 | 1979-01-01 | Paper |
| A Simple Proof of the Formula for the Blowing up of Chern Classes | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3853124 | 1977-01-01 | Paper |
| Logic and programming languages | 1977-01-01 | Paper |
| Data Types as Lattices | 1976-01-01 | Paper |
| An algebraic correspondence with applications to projective bundles and blowing up Chern classes | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4083398 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4083399 | 1975-01-01 | Paper |
| The self-intersection formula and the ‘formule-clef’ | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109651 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109652 | 1975-01-01 | Paper |
| Rules and Derived Rules | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4079581 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4081251 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4401922 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4766044 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5649639 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632569 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5636307 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5685626 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4047529 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5606586 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5614645 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5579010 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5582321 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5593817 | 1968-01-01 | Paper |
| Some definitional suggestions for automata theory | 1967-01-01 | Paper |
| A proof of the independence of the continuum hypothesis | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599800 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551146 | 1965-01-01 | Paper |
| Measurement structures and linear inequalities | 1964-01-01 | Paper |
| Invariant Borel sets | 1964-01-01 | Paper |
| Additions to some results of Erdös and Tarski | 1964-01-01 | Paper |
| Reduced direct products | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5529477 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596757 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596777 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5331473 | 1961-01-01 | Paper |
| Lifting of Correspondences between Algebraic Surfaces and the Fundamental Theorem for Correspondences with Albanese Valencies | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5533187 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5536238 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537403 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5540445 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5559230 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599136 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599141 | 1960-01-01 | Paper |
| Foundational aspects of theories of measurement | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3267805 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5541339 | 1959-01-01 | Paper |
| Generalization of a lemma of G. F. Rose | 1959-01-01 | Paper |
| The sentential calculus with infinitely long expressions | 1958-01-01 | Paper |
| The Independence of Certain Distributive Laws in Boolean Algebras | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3235344 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3237555 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3235342 | 1955-01-01 | Paper |
