| ชื่อเรื่อง | : | Semantics for algebraic operations , Algebraic operations and generic effects |
| นักวิจัย | : | Plotkin, Gordon , Power, John |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2546 |
| อ้างอิง | : | APPLIED CATEGORICAL STRUCTURES 11 (1): 69-94 FEB 2003 , 0927-2852 , http://hdl.handle.net/1842/188 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Given a category C with finite products and a strong monad T on C, we investigate axioms under which an ObC-indexed family of operations of the form α_x : (Tx)n ! Tx provides a definitive semantics for algebraic operations added to the computational λ-calculus. We recall a definition for which we have elsewhere given adequacy results for both big and small step operational semantics, and we show that it is equivalent to a range of other possible natural definitions of algebraic operation. We outline examples and non-examples and we show that our definition is equivalent to one for call-by-name languages with effects too. |
| บรรณานุกรม | : |
Plotkin, Gordon , Power, John . (2546). Semantics for algebraic operations.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Power, John . 2546. "Semantics for algebraic operations".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Power, John . "Semantics for algebraic operations."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2546. Print. Plotkin, Gordon , Power, John . Semantics for algebraic operations. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2546.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
