Full Abstraction for HOPLA.

Mikkel Nygaard, Glynn Winskel

Browse the full CONCUR paper archive.