Lambda Calculus Models and Extensionality (1980)

by R Hindley, G Longo
Venue:Z. Math. Logik Grundlag. Math