| ชื่อเรื่อง | : | Notions of Computation Determine Monads |
| นักวิจัย | : | Plotkin, Gordon , Power, John |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2545 |
| อ้างอิง | : | FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS LECTURE NOTES IN COMPUTER SCIENCE 2303: 342-356 2002 , 0302-9743 , http://hdl.handle.net/1842/196 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | We model notions of computation using algebraic operations and equations. We show that these generate several of the monads of pri- mary interest that have been used to model computational e ects, with the striking omission of the continuations monad. We focus on semantics for global and local state, showing that taking operations and equations as primitive yields a mathematical relationship that reflects their com- putational relationship. |
| บรรณานุกรม | : |
Plotkin, Gordon , Power, John . (2545). Notions of Computation Determine Monads.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Power, John . 2545. "Notions of Computation Determine Monads".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Power, John . "Notions of Computation Determine Monads."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2545. Print. Plotkin, Gordon , Power, John . Notions of Computation Determine Monads. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2545.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
