7 citations · 25 across the 13 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 5 cited
Solvability = Typability + Inhabitation
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
We extend the classical notion of solvability to a lambda-calculus equipped with pattern matching. We prove that solvability can be characterized by means of typability and inhabit…
cs.LO2018★ 3 cited
Boolean-like algebras of finite dimension
Antonio Bucciarelli, Antonio Ledda, Francesco Paoli +1
We continue the investigation of Boolean-like algebras of dimension n (nBA) having n constants e1,...,en, and an (n+1)-ary operation q (a "generalised if-then-else") that induces a…