Bistructures, Bidomains and Linear Logic.

Gordon D. Plotkin, Glynn Winskel

Browse the full ICALP paper archive.