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