1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2010
What is a categorical model of the differential and the resource lambda-calculi?
Manzonetto Giulio
In this paper we provide an abstract model theory for the untyped differential lambda-calculus and the resource calculus. In particular we propose a general definition of model of…
math.LO2008★ 1 cited
Effective lambda-models vs recursively enumerable lambda-theories
Chantal Berline, Giulio Manzonetto, Antonio Salibra
A longstanding open problem is whether there exists a non syntactical model of the untyped lambda-calculus whose theory is exactly the least lambda-theory (l-beta). In this paper w…
math.LO2007
Lambda theories of effective lambda models
Chantal Berline, Giulio Manzonetto, Antonio Salibra
A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this pap…