output
20032011
most citedPenetrable Square-Well fluids: Exact results in one dimension

34 citations

researchers with a paper here
collaborating institutions
Showing math.LOShow all

1 paper · 1 filter

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…