Curien P-L, Plotkin G, Winskel G. Bistructures, Bidomains and Linear Logic. BRICS [Internet]. 15. januar 1997 [henvist 5. december 2025];4(15). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/18805