3 papers
cs.LO2026
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 infin…
math.CT2025
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…
math.AC2024
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…