Full Abstraction in the Lazy λ−calculus
S. Abramsky and C.−H. L. Ong
Details
| Book Title |
Information and Computation‚ 105(2) |
| Pages |
159−268 |
| Year |
1993 |
Links
Related pages
|
People |