7 citations · 25 across the 13 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020
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…
cs.LO2020
The Bang Calculus Revisited
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos +1
Call-by-Push-Value (CBPV) is a programming paradigm subsuming both Callby-Name (CBN) and Call-by-Value (CBV) semantics. The essence of this paradigm is captured by the Bang Calculu…