7 citations · 20 across the 14 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…
Universal Clone Algebra
Antonino Salibra
We develop a new general framework for algebras and clones, called Universal Clone Algebra. Algebras and clones of finitary operations are to Universal Algebra what t-algebras and…