| ชื่อเรื่อง | : | On Functors Expressible in the Polymorphic Typed Lambda Calculus |
| นักวิจัย | : | Plotkin, Gordon , Reynolds, John |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2534 |
| อ้างอิง | : | http://hdl.handle.net/1842/200 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Given a model of the polymorphic typed lambda calculus based upon a Cartesian closed category K, there will be functors from K to K whose action on objects can be expressed by type expressions and whose action on morphisms can be expressed by ordinary expressions. We show that if T is such a functor then there is a weak initial T-algebra and if, in addition, K possesses equalizers of all subsets of its morphism sets, then there is an initial T-algebra. These results are used to establish the impossibility of certain models, including those in which types denote sets and S ! S0 denotes the set of all functions from S to S0. |
| บรรณานุกรม | : |
Plotkin, Gordon , Reynolds, John . (2534). On Functors Expressible in the Polymorphic Typed Lambda Calculus.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Reynolds, John . 2534. "On Functors Expressible in the Polymorphic Typed Lambda Calculus".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Reynolds, John . "On Functors Expressible in the Polymorphic Typed Lambda Calculus."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2534. Print. Plotkin, Gordon , Reynolds, John . On Functors Expressible in the Polymorphic Typed Lambda Calculus. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2534.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
