Bistructures, Bidomains and Linear Logic (2000)

by P-L Curien, G Plotkin, G Winskel
Venue:In Milner Festschrift