| ชื่อเรื่อง | : | On a Question of H. Friedman , On the question of H. Friedman |
| นักวิจัย | : | Plotkin, Gordon |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2539 |
| อ้างอิง | : | INFORMATION AND COMPUTATION 126 (1): 74-77 APR 10 1996 , 0890-5401 , http://hdl.handle.net/1842/213 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | 6 |
| บทคัดย่อ/คำอธิบาย | : | In this paper we answer a question of Friedman, providing an ω-separable model M of the λβη-calculus. There therefore exists an α-separable model for any α≥0. The model M permits no non-trivial enrichment as a partial order; neither does it permit an enrichment as a category with an initial object. The open term model embeds in M: by way of contrast we provide a model which cannot embed in any non-trivial model separating all pairs of distinct elements. |
| บรรณานุกรม | : |
Plotkin, Gordon . (2539). On a Question of H. Friedman.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon . 2539. "On a Question of H. Friedman".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon . "On a Question of H. Friedman."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2539. Print. Plotkin, Gordon . On a Question of H. Friedman. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2539.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
