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.

Abstract

Abstract is missing.