Linear logic and interference control (preliminary report (1991)

by P W O'Hearn
Venue:4'th Conference on Category Theory and Computer Science, LNCS 530