| ชื่อเรื่อง | : | An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC |
| นักวิจัย | : | Fiore, Marcelo P , Plotkin, Gordon |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2537 |
| อ้างอิง | : | http://hdl.handle.net/1842/209 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | 11 |
| บทคัดย่อ/คำอธิบาย | : | Categorical models of the metalanguage FPC (a type theory with sums, products, exponentials and recursive types) are defined. Then, domain-theoretic models of FPC are axiomatised and a wide subclass of them —the non-trivial and absolute ones— are proved to be both computationally sound and adequate. Examples include: the category of cpos and partial continuous functions and functor categories over it. |
| บรรณานุกรม | : |
Fiore, Marcelo P , Plotkin, Gordon . (2537). An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Fiore, Marcelo P , Plotkin, Gordon . 2537. "An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Fiore, Marcelo P , Plotkin, Gordon . "An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2537. Print. Fiore, Marcelo P , Plotkin, Gordon . An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2537.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
