P.-L. Curien, G. Plotkin, and G. Winskel, “Bistructures, Bidomains and Linear Logic”, BRICS, vol. 4, no. 15, Jan. 1997.