Skip to main content

Full Abstraction for Idealized Algol with passive expressions

S. Abramsky and G. McCusker

Book Title
Theoretical Computer Science
Pages
3−42
Volume
227
Year
1999