The relation between computational and denotational properties for Scott’s D∞-models of the lambda-calculus (1976)

by C P Wadsworth
Venue:SIAM Journal on Computing