| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5040177 | 2022-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5083756 | 2022-06-20 | Paper |
| Reflections on the Categorical Foundations of Mathematics | 2015-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5167303 | 2014-07-09 | Paper |
| Logic and grammar | 2012-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2919768 | 2012-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2908633 | 2012-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3093864 | 2011-10-19 | Paper |
| Compact Monoidal Categories from Linguistics to Physics | 2011-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3582263 | 2010-09-02 | Paper |
| Exploring feature agreement in French with parallel pregroup computations | 2010-03-05 | Paper |
| From word to sentence: a pregroup analysis of the object pronoun \textit{who(m)} | 2009-03-24 | Paper |
| Pregroup grammars and Chomsky's earliest examples | 2009-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3612673 | 2009-03-10 | Paper |
| Pregroups and natural language processing | 2009-02-24 | Paper |
| Should pregroup grammars be adorned with additional operations? | 2008-01-21 | Paper |
| Free compact 2-categories | 2007-06-04 | Paper |
| An exactification of the monoid of primitive recursive functions | 2006-03-17 | Paper |
| A computational algebraic approach to Latin grammar | 2006-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4662464 | 2005-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4650585 | 2005-02-18 | Paper |
| What is the world of mathematics? | 2004-08-06 | Paper |
| Type grammars as pregroups | 2003-03-22 | Paper |
| A tale of four grammars | 2002-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547842 | 2002-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547845 | 2002-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329268 | 2002-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762306 | 2001-12-21 | Paper |
| An equational variant of Lawvere's natural numbers object | 2001-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946229 | 2001-05-10 | Paper |
| Four-vector representation of fundamental particles | 2001-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250067 | 2001-03-22 | Paper |
| Diagram chasing in ordered categories with involution | 2001-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941996 | 2000-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499074 | 2000-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263075 | 2000-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940718 | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940719 | 2000-02-28 | Paper |
| An Extension of the Formulas-as-Types Paradigm | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4238988 | 1999-04-26 | Paper |
| Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic | 1998-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896509 | 1997-08-18 | Paper |
| Relations in operational categories | 1997-07-27 | Paper |
| If Hamilton had prevailed: Quaternions in physics | 1996-04-22 | Paper |
| Some lattice models of bilinear logic | 1996-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4853960 | 1995-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842967 | 1995-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698605 | 1995-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4327830 | 1995-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4325773 | 1995-03-13 | Paper |
| Some Galois connections in elementary number theory | 1994-07-04 | Paper |
| Least fixpoints of endofunctors of cartesian closed categories | 1994-06-02 | Paper |
| Are the traditional philosophies of mathematics really incompatible? | 1994-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4040149 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026900 | 1993-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011722 | 1992-09-27 | Paper |
| Diagram chasing in Mal'cev categories | 1990-01-01 | Paper |
| On some connections between logic and category theory | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3495524 | 1989-01-01 | Paper |
| Grammar as Mathematics | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4206923 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4735315 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3033743 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3803296 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727946 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3760508 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3342573 | 1984-01-01 | Paper |
| Remarks on Colocalization and Equivalence | 1983-01-01 | Paper |
| NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLES | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3961632 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4749837 | 1982-01-01 | Paper |
| Intuitionist type theory and foundations | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919708 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3927252 | 1981-01-01 | Paper |
| From types to sets | 1980-01-01 | Paper |
| Intuitionist type theory and the free topos | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3864052 | 1979-01-01 | Paper |
| A General Stone-Gelfand Duality | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3931590 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4161453 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198916 | 1977-01-01 | Paper |
| Localization at epimorphisms and quasi-injectives | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4106367 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4141349 | 1976-01-01 | Paper |
| Localization and Sheaf Reflectors | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4075641 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4180508 | 1974-01-01 | Paper |
| Functional completeness of cartesian categories | 1974-01-01 | Paper |
| Localization and Codensity Triples | 1974-01-01 | Paper |
| Localization at Injectives in Complete Categories | 1973-01-01 | Paper |
| Localization of Right Noetherian Rings at Semiprime Ideals | 1973-01-01 | Paper |
| The torsion theory at a prime ideal of a right Noetherian ring | 1973-01-01 | Paper |
| Noncommutative localization | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5641268 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5642682 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5655525 | 1972-01-01 | Paper |
| Localization and completion | 1972-01-01 | Paper |
| Bicommutators of nice injectives | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4104089 | 1972-01-01 | Paper |
| Localization and completion | 1972-01-01 | Paper |
| On the Representation of Modules by Sheaves of Factor Modules | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5637025 | 1971-01-01 | Paper |
| Torsion theories, additive semantics, and rings of quotients. With an appendix by H. H. Storrer on torsion theories and dominant dimensions | 1971-01-01 | Paper |
| Subequalizers | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5595187 | 1969-01-01 | Paper |
| How comprehensive is the category of semigroups? | 1969-01-01 | Paper |
| Deductive systems and categories | 1968-01-01 | Paper |
| A fixpoint theorem for complete categories | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5519166 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5519434 | 1966-01-01 | Paper |
| Arithmetical Functions and Distributivity | 1966-01-01 | Paper |
| Completions of categories. Seminar lectures given 1966 in Zürich | 1966-01-01 | Paper |
| On the Ring of Quotients of a Noetherian Ring | 1965-01-01 | Paper |
| A Module is Flat if and Only if its Character Module is Injective | 1964-01-01 | Paper |
| Goursat's Theorem and Homological Algebra | 1964-01-01 | Paper |
| On Utumi's Ring of Quotients | 1963-01-01 | Paper |
| On the Structure of Semi-Prime Rings and their Rings of Quotients | 1961-01-01 | Paper |
| How to Program an Infinite Abacus | 1961-01-01 | Paper |
| On the Ring of Quotients of a Boolean Ring | 1959-01-01 | Paper |
| On Some two way Classifications of Integers | 1959-01-01 | Paper |
| Goursats Theorem and the Zassenhaus Lemma | 1958-01-01 | Paper |
| The Mathematics of Sentence Structure | 1958-01-01 | Paper |
| A Generalized Ring of Quotients I | 1958-01-01 | Paper |
| Rational Analogues of the Logarithm Function | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3236688 | 1956-01-01 | Paper |
| On Integers n Relatively Prime To ƒ(n) | 1955-01-01 | Paper |
| Some Associative Operations on Integers | 1955-01-01 | Paper |
| On the distribution of Pythagorean triangles | 1955-01-01 | Paper |
| Inverse and Complementary Sequences of Natural Numbers | 1954-01-01 | Paper |
| On Monotone Multiplicative Functions | 1953-01-01 | Paper |
| The Immersibility of a Semigroup into a Group | 1951-01-01 | Paper |
