3 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.LO2013★ 3 cited
The stack calculus
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be…
cs.LO2013
The untyped stack calculus and Bohm's theorem
Alberto Carraro
The stack calculus is a functional language in which is in a Curry-Howard correspondence with classical logic. It enjoys confluence but, as well as Parigot's lambda-mu, does not ad…
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…