Linear logic and interference control (preliminary report (1991)

by P W O'Hearn
Venue:In Category Theory and Computer Science 1991, number 530 in Lecture Notes in Computer Science