Curien, P.-L., Plotkin, G., & Winskel, G. (1997). Bistructures, Bidomains and Linear Logic. BRICS Report Series, 4(15). https://doi.org/10.7146/brics.v4i15.18805