Plotkin, Gordon
-
BRICS Report Series No. 9 (1994): RS-9 Bistructures, Bidomains and Linear Logic - Articles
Bistructures, Bidomains and Linear Logic
Abstract PDF -
BRICS Report Series No. 15 (1997): RS-15 Bistructures, Bidomains and Linear Logic - Articles
Bistructures, Bidomains and Linear Logic
Abstract PDF