activity
20102026
most citedFull Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

7 citations · 25 across the 13 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

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…