| Publication | Date of Publication | Type |
|---|
| Exploring new topologies for the theory of clones | 2024-11-20 | Paper |
| An algebraic theory of clones | 2022-03-31 | Paper |
| Universal Clone Algebra | 2022-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4958978 | 2021-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992394 | 2021-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992396 | 2021-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5150151 | 2021-02-09 | Paper |
| An algebraic theory of clones with an application to a question of Birkhoff and Maltsev | 2020-10-27 | Paper |
| On noncommutative generalisations of Boolean algebras | 2020-01-21 | Paper |
| Boolean product representations of algebras via binary polynomials | 2018-09-13 | Paper |
| Factor Varieties and Symbolic Computation | 2018-04-23 | Paper |
| Factor varieties | 2018-02-27 | Paper |
| Topological incompleteness and order incompleteness of the lambda calculus | 2017-06-13 | Paper |
| Graph easy sets of mute lambda terms | 2016-05-27 | Paper |
| The connection of skew Boolean algebras and discriminator varieties to Church algebras | 2015-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5410346 | 2014-04-16 | Paper |
| Ordered models of the lambda calculus | 2014-01-08 | Paper |
| Boolean-like algebras | 2013-07-12 | Paper |
| Towards Lambda Calculus Order-Incompleteness | 2013-04-19 | Paper |
| On the equational consistency of order-theoretic models of the lambda-calculus | 2012-11-22 | Paper |
| Scott Is Always Simple | 2012-09-25 | Paper |
| Easy lambda-terms are not always simple | 2012-06-04 | Paper |
| Exponentials with Infinite Multiplicities | 2010-09-03 | Paper |
| Resource Combinatory Algebras | 2010-09-03 | Paper |
| Applying Universal Algebra to Lambda Calculus | 2010-08-26 | Paper |
| Effective λ-models versus recursively enumerable λ-theories | 2009-11-11 | Paper |
| Lambda Theories of Effective Lambda Models | 2009-03-05 | Paper |
| From λ-Calculus to Universal Algebra and Back | 2009-02-03 | Paper |
| Graph lambda theories | 2008-11-13 | Paper |
| Mathematical Foundations of Computer Science 2003 | 2007-12-07 | Paper |
| Easiness in graph models | 2006-04-28 | Paper |
| The Lattice of Lambda Theories | 2004-10-15 | Paper |
| A Note on Absolutely Unorderable Combinatory Algebras | 2003-11-10 | Paper |
| Nonmodularity results for lambda calculus | 2002-03-11 | Paper |
| On the algebraic models of lambda calculus | 2000-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260390 | 1999-09-19 | Paper |
| A finite equational axiomatization of the functional algebras for the lambda calculus | 1999-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837997 | 1999-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381706 | 1998-05-13 | Paper |
| Interpolation and compactness in categories of pre-institutions | 1997-04-21 | Paper |
| Lambda abstraction algebras: representation theorems | 1997-02-28 | Paper |
| The abstract variable-binding calculus | 1996-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4835611 | 1995-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273423 | 1994-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273422 | 1994-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028345 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011732 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011724 | 1992-09-27 | Paper |
| Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975158 | 1992-06-26 | Paper |
| Equational type logic | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3360165 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816063 | 1987-01-01 | Paper |
| First-order theories as many-sorted algebras | 1984-01-01 | Paper |
