Pierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel. Bistructures, bidomains, and linear logic. In Gordon D. Plotkin, Colin Stirling, Mads Tofte, editors, Proof, Language, and Interaction, Essays in Honour of Robin Milner. pages 21-54, The MIT Press, 2000.
@inproceedings{CurienPW00,
title = {Bistructures, bidomains, and linear logic},
author = {Pierre-Louis Curien and Gordon D. Plotkin and Glynn Winskel},
year = {2000},
tags = {logic},
researchr = {https://researchr.org/publication/CurienPW00},
cites = {0},
citedby = {0},
pages = {21-54},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
editor = {Gordon D. Plotkin and Colin Stirling and Mads Tofte},
publisher = {The MIT Press},
isbn = {978-0-262-16188-6},
}