A Fully Abstract Game Semantics for Idealized Algol with Active Expressions (1996)

by Samson Abramsky, Guy McCusker
Venue:In Proceedings of 1996 Workshop on Linear Logic. Electronic notes in Theoretical Computer Science 3, Elsevier