Full Abstraction for Idealized Algol with passive expressions
S. Abramsky and G. McCusker
Details
| Book Title |
Theoretical Computer Science |
| Pages |
3−42 |
| Volume |
227 |
| Year |
1999 |
Links
Related pages
|
People |