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.
Abstract is missing.