1 citations · 1 across the 1 of their papers we have counts for
2 papers
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…