Full abstraction for Linda (2008)

by C Di Giusto, M Gabbrielli
Venue:In ESOP ’08