| ชื่อเรื่อง | : | An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory |
| นักวิจัย | : | Plotkin, Gordon , Fiore, Marcelo P |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2546 |
| อ้างอิง | : | http://hdl.handle.net/1842/214 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | 21 |
| บทคัดย่อ/คำอธิบาย | : | We relate certain models of Axiomatic Domain Theory (ADT) and Synthetic Domain Theory (SDT). On the one hand, we introduce a class of non-elementary models of SDT and show that the domains in them yield models of ADT. On the other hand, for each model of ADT in a wide class we construct a model of SDT such that the domains in it provide a model of ADT which conservatively extends the original model. |
| บรรณานุกรม | : |
Plotkin, Gordon , Fiore, Marcelo P . (2546). An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Fiore, Marcelo P . 2546. "An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Fiore, Marcelo P . "An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2546. Print. Plotkin, Gordon , Fiore, Marcelo P . An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2546.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
