Plotkin, G. and Winskel, G. (1994) “Bistructures, Bidomains and Linear Logic”, BRICS Report Series, 1(9). doi: 10.7146/brics.v1i9.21661.