Boolean Algebras as Clones. - Arturo De Faveri (CoRR, 2025)

Groups and Inverse Semigroups in Lambda Calculus. - Antonio Bucciarelli; Arturo De Faveri; Giulio Manzonetto; Antonino Salibra (CoRR, 2026)