| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q2715776 | 2001-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955428 | 2001-03-13 | Paper |
| Sequent calculi and decision procedures for weak modal systems | 2001-02-11 | Paper |
| Differential forms in synthetic differential geometry | 2000-08-21 | Paper |
| On modules and crossed modules | 1996-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858609 | 1996-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4875315 | 1996-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4861155 | 1996-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4861198 | 1996-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858606 | 1996-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4861178 | 1996-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4289833 | 1995-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3141068 | 1993-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4692389 | 1993-06-05 | Paper |
| On De Rham's theorem in synthetic differential geometry | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5201865 | 1991-01-01 | Paper |
| Varying modal theories | 1990-01-01 | Paper |
| Toposes and intuitionistic theories of types | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4735194 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3781067 | 1986-01-01 | Paper |
| A Non‐Boolean Version of Feferman‐Vaught's Theorem | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4726229 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3676119 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677919 | 1984-01-01 | Paper |
| A note on intuitionistic models of ZF | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3329628 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3944605 | 1981-01-01 | Paper |
| Cohomologie non abelienne de structures algébriques | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3897045 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898484 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912941 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4126534 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4129621 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109810 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4771403 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4112102 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4767110 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5658218 | 1972-01-01 | Paper |
| Algèbre catégorique relative. II: Limites relatives. (Relative categorical algebra. II.: Relative limits) | 1971-01-01 | Paper |
| Algèbre catégorique relative. III: Foncteurs adjoints relatifs. (Relative categorical algebra. III.: Relative adjoint functors) | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5621447 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5686188 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5686189 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5538982 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5677645 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5522971 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3233546 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5833256 | 1954-01-01 | Paper |
