Full abstraction for Idealized Algol with passive expressions (1999)

by S Abramsky, G McCusker
Venue:Theoretical Comput. Sci