7 citations · 25 across the 13 of their papers we have counts for
15 papers
Groups and Inverse Semigroups in Lambda Calculus
Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto +1
We study invertibility of -terms modulo -theories. Here a fundamental role is played by a class of -terms called finite hereditary permutations (FHP) and by their infinite…
From clones to cm-monoids
Antonio Bucciarelli, Pierre-Louis Curien, Antonino Salibra
Clones of functions play a foundational role in both universal algebra and theoretical computer science. In this work, we introduce clone merge monoids (cm-monoids), a unifying one…
Birkhoff-style Theorems Through Infinitary Clone Algebras
Antonio Bucciarelli, Pierre-Louis Curien, Arturo De Faveri +1
Building upon the classical article "Representing varieties of algebras by algebras'' by W. D. Neumann, we revisit the famous Birkhoff's HSP theorem in the light of infinitary alge…
Exploring New Topologies for the Theory of Clones
Antonio Bucciarelli, Antonino Salibra
Clones of operations of arity omega (referred to as omega-operations) have been employed by Neumann to represent varieties of infinitary algebras defined by operations of at most a…
The higher dimensional propositional calculus
Antonio Bucciarelli, Pierre-Louis Curien, Antonio Ledda +2
In recent research, some of the present authors introduced the concept of an n-dimensional Boolean algebra and its corresponding propositional logic nCL, generalising the Boolean p…
An algebraic theory of clones with an application to a question of Birkhoff and Maltsev
Antonio Bucciarelli, Antonino Salibra
We introduce the notion of clone algebra, intended to found a one-sorted, purely algebraic theory of clones. Clone algebras are defined by true identities and thus form a variety i…