| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q3519054 | 2008-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3594562 | 2007-08-08 | Paper |
| Core algebra revisited | 2007-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3411953 | 2006-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3156509 | 2005-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474844 | 2004-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4444124 | 2004-01-19 | Paper |
| A new framework for declarative programming | 2003-07-30 | Paper |
| Cartesian logic | 2002-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499215 | 2001-03-04 | Paper |
| Bireflectivity | 2000-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223216 | 1998-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222758 | 1998-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4888796 | 1997-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138538 | 1993-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138539 | 1993-11-18 | Paper |
| Splitting homotopy idempotents. II | 1993-10-19 | Paper |
| Structural polymorphism | 1993-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3995720 | 1992-09-17 | Paper |
| Coherence theorems via knot theory | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3978971 | 1992-06-26 | Paper |
| Functorial polymorphism | 1990-01-01 | Paper |
| Braided compact closed categories with applications to low dimensional topology | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3827997 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4207884 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795831 | 1988-01-01 | Paper |
| Choice and well-ordering | 1987-01-01 | Paper |
| All topoi are localic or why permutation models prevail | 1987-01-01 | Paper |
| Lindenbaum algebras of intuitionistic theories and free categories | 1987-01-01 | Paper |
| A new polynomial invariant of knots and links | 1985-01-01 | Paper |
| The axiom of choice | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109809 | 1976-01-01 | Paper |
| Erratum | 1974-01-01 | Paper |
| Concreteness | 1973-01-01 | Paper |
| Categories of continuous functors. I | 1972-01-01 | Paper |
| Aspects of topoi | 1972-01-01 | Paper |
| Aspects of topoi: Corrigenda and acknowledgements | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5614472 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5627406 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5662072 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5631282 | 1969-01-01 | Paper |
| Shorter Notes: Redei's Finiteness Theorem for Commutative Semigroups | 1968-01-01 | Paper |
| The Grothendieck group for stable homotopy is free | 1967-01-01 | Paper |
| Algebra valued functors in general and tensor products in particular | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5592097 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5592098 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599220 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599870 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586250 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5731806 | 1964-01-01 | Paper |
| RELATIVE HOMOLOGICAL ALGEBRA MADE ABSOLUTE | 1963-01-01 | Paper |
