7 citations · 23 across the 6 of their papers we have counts for
6 papers
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…
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
Thomas Ehrhard, Antonio Bucciarelli, Alberto Carraro +1
We study the semantics of a resource-sensitive extension of the lambda calculus in a canonical reflexive object of a category of sets and relations, a relational version of Scott's…
On Linear Information Systems
A. Bucciarelli, A. Carraro, T. Ehrhard +1
Scott's information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotatio…