Full Abstraction for HOPLA (2003)

by RS-03-42 Mikkel Nygaard, Glynn Winskel
Venue:Appears in Amadio and Lugiez, editors, Concurrency Theory: 14th International Conference, CONCUR ’03 Proceedings, LNCS 2761, 2003