| ชื่อเรื่อง | : | Logical Full Abstraction and PCF |
| นักวิจัย | : | Longley, John R , Plotkin, Gordon |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2543 |
| อ้างอิง | : | http://hdl.handle.net/1842/218 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | 20 |
| บทคัดย่อ/คำอธิบาย | : | We introduce the concept of logical full abstraction, generalising the usual equational notion. We consider the language PCF and two extensions with “parallel” operations. The main result is that, for standard interpretations, logical full abstraction is equivalent to equational full abstraction together with universality; the proof involves constructing enumeration operators. We also consider restrictions on logical complexity and on the level of types. |
| บรรณานุกรม | : |
Longley, John R , Plotkin, Gordon . (2543). Logical Full Abstraction and PCF.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Longley, John R , Plotkin, Gordon . 2543. "Logical Full Abstraction and PCF".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Longley, John R , Plotkin, Gordon . "Logical Full Abstraction and PCF."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2543. Print. Longley, John R , Plotkin, Gordon . Logical Full Abstraction and PCF. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2543.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
