7 citations · 20 across the 14 of their papers we have counts for
5 papers · 1 filter
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…
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…
On noncommutative generalisations of Boolean algebras
Antonio Bucciarelli, Antonino Salibra
Skew Boolean algebras (skew BA) and Boolean-like algebras (nBA) are one-pointed and n-pointed noncommutative generalisation of Boolean algebras, respectively. We show that any nBA…
Effective lambda-models vs recursively enumerable lambda-theories
Chantal Berline, Giulio Manzonetto, Antonio Salibra
A longstanding open problem is whether there exists a non syntactical model of the untyped lambda-calculus whose theory is exactly the least lambda-theory (l-beta). In this paper w…
Lambda theories of effective lambda models
Chantal Berline, Giulio Manzonetto, Antonio Salibra
A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this pap…