Skip to main content

Full Abstraction in the Lazy λ−calculus

S. Abramsky and C.−H. L. Ong

Book Title
Information and Computation‚ 105(2)
Pages
159−268
Year
1993