Curien, Pierre-Louis

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