| Publication | Date of Publication | Type |
|---|
| Topos Theory in Montréal in the 1970s: My Personal Involvement | 2020-01-15 | Paper |
| A Mathematical Analysis of Masaccio’s Trinity | 2014-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411256 | 2014-04-23 | Paper |
| The History of Categorical Logic: 1963–1977 | 2012-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3093870 | 2011-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5421089 | 2007-10-22 | Paper |
| Ordinary differential equations and their exponentials | 2006-09-04 | Paper |
| Distributions and heat equation in SDG | 2006-05-26 | Paper |
| Categorical distribution theory; heat equation | 2004-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4429197 | 2003-09-24 | Paper |
| Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic | 2003-09-07 | Paper |
| Models for non-Boolean negations in natural languages based on aspect analysis | 2001-06-20 | Paper |
| Some differential equations in synthetic differential geometry | 2001-04-17 | Paper |
| Completeness theorems via the double dual functor | 2000-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260331 | 2000-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4267836 | 1999-10-20 | Paper |
| Bi-Heyting algebras, toposes and modalities | 1996-11-04 | Paper |
| Completeness results for intuitionistic and modal logic in a categorical setting | 1995-03-22 | Paper |
| Functoriality and grammatical role in syllogisms | 1994-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4311229 | 1994-11-08 | Paper |
| Formal systems for modal operators on locales | 1994-04-12 | Paper |
| The Non-Boolean Logic of Natural Language Negation | 1994-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4697040 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4697037 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3997818 | 1992-09-17 | Paper |
| A topos-theoretic approach to reference and modality | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3978987 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4735194 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5748308 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3772393 | 1987-01-01 | Paper |
| A smooth version of the Zariski topos | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816230 | 1987-01-01 | Paper |
| Forcing smooth square roots and integration | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3717733 | 1986-01-01 | Paper |
| Separably real closed local rings | 1986-01-01 | Paper |
| Rings of smooth functions and their localizations. I | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3797788 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3761312 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816650 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5186265 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4726439 | 1985-01-01 | Paper |
| Smooth spaces versus continuous spaces in models for synthetic differential geometry | 1984-01-01 | Paper |
| De Rham's theorem in a smooth topos | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3315680 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3333645 | 1982-01-01 | Paper |
| Boolean spectra and model completions | 1981-01-01 | Paper |
| Models for synthetic integration theory. | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3946320 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3917092 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3855307 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208859 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3051023 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3861523 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4187963 | 1979-01-01 | Paper |
| Théorie des modeles et faisceaux | 1978-01-01 | Paper |
| A note on tangent bundles in a category with a ring object. | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4147218 | 1978-01-01 | Paper |
| First order categorical logic. Model-theoretical methods in the theory of topoi and related categories | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4179158 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4132657 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103720 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103721 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109670 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4149587 | 1976-01-01 | Paper |
| Espaces de Baire et espaces de probabilité de structures rélationnelles | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4111556 | 1974-01-01 | Paper |
| Lω1ω is enough: a reduction theorem for some infinitary languages | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4403439 | 1973-01-01 | Paper |
| Local definability theory | 1970-01-01 | Paper |
