| Publication | Date of Publication | Type |
|---|
| Light linear logic | 2023-12-12 | Paper |
| Transcendental syntax iv: logic without systems | 2021-07-08 | Paper |
| Transcendental syntax I: deterministic case | 2017-06-14 | Paper |
| Three lightings of logic (Invited Talk) | 2017-02-02 | Paper |
| Normativity in Logic | 2015-06-05 | Paper |
| The Blind Spot | 2011-10-06 | Paper |
| Geometry of interaction. V: Logic in the hyperfinite factor | 2011-05-10 | Paper |
| The blind spot. Course in logic. I. On the perfection | 2008-12-16 | Paper |
| The blind spot. Course on logic. II. On the imperfection | 2008-12-16 | Paper |
| Truth, modality and intersubjectivity | 2008-01-18 | Paper |
| Five Conferences on Undecidability | 2007-11-29 | Paper |
| Large-Scale Scientific Computing | 2006-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5477354 | 2006-07-03 | Paper |
| Introduction to \(\Pi^1_2\)-logic | 2005-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4650586 | 2005-02-18 | Paper |
| From Foundations to Ludics | 2005-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4823136 | 2004-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783299 | 2002-12-04 | Paper |
| On the meaning of logical rules. II: Multiplicatives and additives | 2002-03-07 | Paper |
| Locus solum: From the rules of logic to the logic of rules. | 2001-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524279 | 2001-05-17 | Paper |
| Coherent Banach spaces: A continuous denotational semantics | 2000-08-23 | Paper |
| On denotational completeness | 2000-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263837 | 1999-11-28 | Paper |
| Light linear logic | 1999-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222828 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222829 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896506 | 1996-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842966 | 1995-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842981 | 1995-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842535 | 1995-12-18 | Paper |
| On the unity of logic | 1993-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035310 | 1993-05-18 | Paper |
| Embeddability of ptykes | 1993-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4014779 | 1992-10-26 | Paper |
| Bounded linear logic: A modular approach to polynomial-time computability | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4010357 | 1992-09-27 | Paper |
| Logic and Exceptions: A Few Remarks | 1992-09-27 | Paper |
| A new constructive logic: classic logic | 1992-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3203017 | 1990-01-01 | Paper |
| Some uses of dilators in combinatorial problems. II | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4204146 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3824307 | 1989-01-01 | Paper |
| Normal functors, power series and \(\lambda\)-calculus | 1988-01-01 | Paper |
| Linear logic | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3819066 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3791120 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773876 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787978 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3772214 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3764151 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3760480 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3765770 | 1987-01-01 | Paper |
| The system \({\mathcal F}\) of variable types, fifteen years later | 1986-01-01 | Paper |
| Set recursion and \(\Pi ^ 1_ 2\)-logic | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3690814 | 1985-01-01 | Paper |
| Functors and ordinal notations. I: A functorial construction of the veblen hierarchy | 1984-01-01 | Paper |
| Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs | 1984-01-01 | Paper |
| Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3686708 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960845 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956931 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960843 | 1982-01-01 | Paper |
| Π12-logic, Part 1: Dilators | 1981-01-01 | Paper |
| A result on implications of Σ1-sentences and its application to normal form theorems | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3882443 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3206947 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128539 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4773684 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5625124 | 1971-01-01 | Paper |
