1. Bistructures, Bidomains and Linear Logic
- Author
-
Plotkin, Gordon and Winskel, Glynn
- Subjects
Mathematics::Category Theory - Abstract
Bistructures are a generalisation of event structures to represent spaces of functions at higher types; the partial order of causal dependency is replaced by two orders, one associated with input and the other output in the behaviour of functions. Bistructures form a categorical model of Girard's classical linear logic in which the involution of linear logic is modelled, roughly speaking, by a reversal of the roles of input and output. The comonad of the model has associated co-Kleisli category which is equivalent to a cartesian-closed full subcategory of Berry's bidomains.
- Published
- 1994
- Full Text
- View/download PDF