7 citations · 23 across the 6 of their papers we have counts for
4 papers · 2 filters
Ordered Models of the Lambda Calculus
Antonino Salibra, Alberto Carraro
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not…
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…
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…
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…