Full abstraction for HOPLA (2003)

by Mikkel Nygaard , Glynn Winskel
Venue:In Proc. CONCUR’03, LNCS
Citations:8 - 4 self