Bistructures, Bidomains and Linear Logic

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.

Possibly Related Publications

The following publications are possibly variants of this publication: