Bistructures, Bidomains and Linear Logic (2007)
Pierre-Louis Curien, Gordon Plotkin, Glynn Winskel, Glynn Winskel Brics
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of causal dependency is...