Curien, P.-L.; Plotkin, G.; Winskel, G. Bistructures, Bidomains and Linear Logic. BRICS 1997, 4.