| Publication | Date of Publication | Type |
|---|
| Generalising the fan theorem | 2020-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851541 | 2013-10-10 | Paper |
| Cantor theorem and friends, in logical form | 2013-03-15 | Paper |
| Objects: a study in Kantian formal epistemology | 2012-11-29 | Paper |
| Relative formal topology: the binary positivity predicate comes first | 2012-03-22 | Paper |
| Independence results in formal topology | 2011-12-12 | Paper |
| Spatiality and classical logic | 2011-09-27 | Paper |
| Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita | 2011-07-29 | Paper |
| Vagueness, Kant and topology: a study of formal epistemology | 2008-04-09 | Paper |
| Constructive characterizations of bar subsets | 2007-02-14 | Paper |
| Every countably presented formal topology is spatial, classically | 2006-08-03 | Paper |
| A structural investigation on formal topology: coreflection of formal covers and exponentiability | 2005-08-29 | Paper |
| The problem of the formalization of constructive topology | 2005-02-22 | Paper |
| Krivine's intuitionistic proof of classical completeness (for countable languages) | 2004-11-22 | Paper |
| A binary modal logic for the intersection types of lambda-calculus. | 2004-03-14 | Paper |
| Inductively generated formal topologies. | 2003-11-25 | Paper |
| An elementary proof of strong normalization for intersection types | 2003-09-16 | Paper |
| On the formal points of the formal topology of the binary tree | 2003-09-16 | Paper |
| A cartesian closed category in Martin-Löf's intuitionistic type theory | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531082 | 2002-05-29 | Paper |
| A general method for proving the normalization theorem for first and second order typed λ-calculi | 2000-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247312 | 2000-06-13 | Paper |
| Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory? | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247310 | 2000-02-15 | Paper |
| Tychonoff's theorem in the framework of formal topologies | 1998-07-01 | Paper |
| Constructive domain theory as a branch of intuitionistic pointfree topology | 1997-02-27 | Paper |
| An Intuitionistic Version of Cantor's Theorem | 1997-02-23 | Paper |
| Decidability in Intuitionistic Type Theory is Functionally Decidable | 1997-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896536 | 1996-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4855295 | 1995-12-14 | Paper |
| Representation Theorems for Quantales | 1995-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4323124 | 1995-02-13 | Paper |
| A proof of the normal form theorem for the closed terms of Girard's system F by means of computability | 1994-11-24 | Paper |
| Local computation in linear logic | 1994-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4296507 | 1994-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282620 | 1994-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4693262 | 1993-11-28 | Paper |
| An intuitionistic theory of types with assumptions of high-arity variables | 1992-09-27 | Paper |
| THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS | 1992-01-01 | Paper |
| A Syntactic Proof of Cut‐Elimination For GLlin | 1986-01-01 | Paper |
| The modal logic of provability: cut-elimination | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3039310 | 1983-01-01 | Paper |
| THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC | 1983-01-01 | Paper |
| The modal logic of provability. The sequential approach | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3958435 | 1982-01-01 | Paper |
| A modal sequent calculus for a fragment of arithmetic | 1980-01-01 | Paper |
| Post Completeness and Free Algebras | 1980-01-01 | Paper |
