Wadsworth, Christopher P. The relation between computational and denotational properties for Scott’s \(D_\infty\)-models of the lambda-calculus. (English) Zbl 0346.02013 SIAM J. Comput. 5, 488-521 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 74 Documents MSC: 03B40 Combinatory logic and lambda calculus PDFBibTeX XMLCite \textit{C. P. Wadsworth}, SIAM J. Comput. 5, 488--521 (1976; Zbl 0346.02013) Full Text: DOI