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 untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this pap…