Gordon D. Plotkin, Glynn Winskel. Bistructures, Bidomains and Linear Logic. In Serge Abiteboul, Eli Shamir, editors, Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings. Volume 820 of Lecture Notes in Computer Science, pages 352-363, Springer, 1994.
@inproceedings{PlotkinW94, title = {Bistructures, Bidomains and Linear Logic}, author = {Gordon D. Plotkin and Glynn Winskel}, year = {1994}, tags = {logic}, researchr = {https://researchr.org/publication/PlotkinW94}, cites = {0}, citedby = {0}, pages = {352-363}, booktitle = {Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings}, editor = {Serge Abiteboul and Eli Shamir}, volume = {820}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58201-0}, }