2 citations · 2 across the 2 of their papers we have counts for
3 papers
math.LO2019
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…
cs.LO2013★ 2 cited
Minimal lambda-theories by ultraproducts
Antonio Bucciarelli, Alberto Carraro, Antonino Salibra
A longstanding open problem in lambda calculus is whether there exist continuous models of the untyped lambda calculus whose theory is exactly the least lambda-theory lambda-beta o…
cs.LO2011
Extensional Collapse Situations I: non-termination and unrecoverable errors
Antonio Bucciarelli
We consider a simple model of higher order, functional computation over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, take…