| Publication | Date of Publication | Type |
|---|
| Boolean-like algebras of finite dimension: from Boolean products to semiring products | 2025-10-24 | Paper |
The higher dimensional propositional calculus
Logic Journal of the IGPL | 2025-09-30 | Paper |
Classical logic with n truth values as a symmetric many-valued logic
Foundations of Science | 2025-03-26 | Paper |
Exploring new topologies for the theory of clones
Algebra Universalis | 2024-11-20 | Paper |
An algebraic theory of clones
Algebra Universalis | 2022-03-31 | Paper |
| Universal Clone Algebra | 2022-03-26 | Paper |
| scientific article; zbMATH DE number 7395876 (Why is no real title available?) | 2021-09-15 | Paper |
| Minimal \(\lambda\)-theories by ultraproducts | 2021-06-08 | Paper |
Minimal \(\lambda\)-theories by ultraproducts
(available as arXiv preprint) | 2021-06-08 | Paper |
| The stack calculus | 2021-06-08 | Paper |
The stack calculus
(available as arXiv preprint) | 2021-06-08 | Paper |
| scientific article; zbMATH DE number 7308469 (Why is no real title available?) | 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
The Art of Discrete and Applied Mathematics | 2020-01-21 | Paper |
Boolean product representations of algebras via binary polynomials
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science | 2018-09-13 | Paper |
Factor varieties and symbolic computation
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Factor varieties
Soft Computing | 2018-02-27 | Paper |
Topological incompleteness and order incompleteness of the lambda calculus
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Graph easy sets of mute lambda terms
Theoretical Computer Science | 2016-05-27 | Paper |
The connection of skew Boolean algebras and discriminator varieties to Church algebras
Algebra Universalis | 2015-06-23 | Paper |
| On semi-Boolean-like algebras. | 2014-04-16 | Paper |
Ordered models of the lambda calculus
Logical Methods in Computer Science | 2014-01-08 | Paper |
Boolean-like algebras
Algebra Universalis | 2013-07-12 | Paper |
Towards lambda calculus order-incompleteness
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
| On the equational consistency of order-theoretic models of the lambda-calculus | 2012-11-22 | Paper |
Scott Is Always Simple
Mathematical Foundations of Computer Science 2012 | 2012-09-25 | Paper |
Easy lambda-terms are not always simple
RAIRO. Theoretical Informatics and Applications | 2012-06-04 | Paper |
Easy lambda-terms are not always simple
RAIRO. Theoretical Informatics and Applications | 2012-06-04 | Paper |
Exponentials with infinite multiplicities
Computer Science Logic | 2010-09-03 | Paper |
Resource combinatory algebras
Mathematical Foundations of Computer Science 2010 | 2010-09-03 | Paper |
Applying universal algebra to lambda calculus
Journal Of Logic And Computation | 2010-08-26 | Paper |
Effective λ-models versus recursively enumerable λ-theories
Mathematical Structures in Computer Science | 2009-11-11 | Paper |
Lambda Theories of Effective Lambda Models
Computer Science Logic | 2009-03-05 | Paper |
From λ-Calculus to Universal Algebra and Back
Lecture Notes in Computer Science | 2009-02-03 | Paper |
Graph lambda theories
Mathematical Structures in Computer Science | 2008-11-13 | Paper |
Mathematical Foundations of Computer Science 2003
Lecture Notes in Computer Science | 2007-12-07 | Paper |
Easiness in graph models
Theoretical Computer Science | 2006-04-28 | Paper |
The Lattice of Lambda Theories
Journal Of Logic And Computation | 2004-10-15 | Paper |
A Note on Absolutely Unorderable Combinatory Algebras
Journal Of Logic And Computation | 2003-11-10 | Paper |
Nonmodularity results for lambda calculus
Fundamenta Informaticae | 2002-03-11 | Paper |
On the algebraic models of lambda calculus
Theoretical Computer Science | 2000-10-26 | Paper |
| scientific article; zbMATH DE number 1333616 (Why is no real title available?) | 1999-09-19 | Paper |
A finite equational axiomatization of the functional algebras for the lambda calculus
Information and Computation | 1999-09-09 | Paper |
| scientific article; zbMATH DE number 1183249 (Why is no real title available?) | 1999-04-08 | Paper |
| scientific article; zbMATH DE number 1136648 (Why is no real title available?) | 1998-05-13 | Paper |
Interpolation and compactness in categories of pre-institutions
Mathematical Structures in Computer Science | 1997-04-21 | Paper |
Lambda abstraction algebras: representation theorems
Theoretical Computer Science | 1997-02-28 | Paper |
The abstract variable-binding calculus
Studia Logica | 1996-05-02 | Paper |
| scientific article; zbMATH DE number 761276 (Why is no real title available?) | 1995-07-03 | Paper |
| scientific article; zbMATH DE number 475186 (Why is no real title available?) | 1994-01-26 | Paper |
| scientific article; zbMATH DE number 475185 (Why is no real title available?) | 1994-01-13 | Paper |
| scientific article; zbMATH DE number 139986 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 67044 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 67036 (Why is no real title available?) | 1992-09-27 | Paper |
Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets
Theoretical Computer Science | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 17814 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4212015 (Why is no real title available?) | 1990-01-01 | Paper |
Equational type logic
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4087643 (Why is no real title available?) | 1987-01-01 | Paper |
First-order theories as many-sorted algebras
Notre Dame Journal of Formal Logic | 1984-01-01 | Paper |
