Linear logic and interference control (1991)

by P O'Hearn
Venue:In 4th Conf. on Category Thoery and CS