Since 2014
Bistructures, Bidomains and Linear Logic
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Bistructures, Bidomains and Linear Logic
|
|
| Creator |
Curien, Pierre-Louis
Plotkin, Gordon Winskel, Glynn |
|
| Description |
Bistructures are a generalisation of event structures which allowa representation of spaces of functions at higher types in an orderextensional setting. The partial order of causal dependency is replaced by two orders, one associated with input and the other with 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 an associated co-Kleisli category which is closely related to that of Berry's bidomains (both have equivalent non-trivial full sub-cartesian closed categories).
|
|
| Publisher |
Aarhus University
|
|
| Date |
1997-01-15
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/18805
10.7146/brics.v4i15.18805 |
|
| Source |
BRICS Report Series; No 15 (1997): RS-15 Bistructures, Bidomains and Linear Logic
BRICS Report Series; Nr. 15 (1997): RS-15 Bistructures, Bidomains and Linear Logic 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/18805/16450
|
|