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