| ชื่อเรื่อง | : | Bistructures, Bidomains and Linear Logic |
| นักวิจัย | : | Curien, Pierre-Louis , Plotkin, Gordon , Winskel, Glynn |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2543 |
| อ้างอิง | : | In: Proof, Language, and Interaction Essays in Honour of Robin Milner (eds) Gordon Plotkin, Colin Stirling and Mads Tofte) , 0-262-16188-5 , http://hdl.handle.net/1842/222 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | 41 |
| บทคัดย่อ/คำอธิบาย | : | Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an order-extensional 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). |
| บรรณานุกรม | : |
Curien, Pierre-Louis , Plotkin, Gordon , Winskel, Glynn . (2543). Bistructures, Bidomains and Linear Logic.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Curien, Pierre-Louis , Plotkin, Gordon , Winskel, Glynn . 2543. "Bistructures, Bidomains and Linear Logic".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Curien, Pierre-Louis , Plotkin, Gordon , Winskel, Glynn . "Bistructures, Bidomains and Linear Logic."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2543. Print. Curien, Pierre-Louis , Plotkin, Gordon , Winskel, Glynn . Bistructures, Bidomains and Linear Logic. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2543.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
