| ชื่อเรื่อง | : | Lax Logical Relations |
| นักวิจัย | : | Plotkin, Gordon , Power, John , Sannella, Donald , Tennent, Robert |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2543 |
| อ้างอิง | : | AUTOMATA LANGUAGES AND PROGRAMMING LECTURE NOTES IN COMPUTER SCIENCE 1853: 85-102 2000 , 0302-9743 , http://hdl.handle.net/1842/223 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | 17 |
| บทคัดย่อ/คำอธิบาย | : | Lax logical relations are a categorical generalisation of logical relations; though they preserve product types, they need not preserve exponential types. But, like logical relations, they are preserved by the meanings of all lambda-calculus terms.We show that lax logical relations coincide with the correspondences of Schoett, the algebraic relations of Mitchell and the pre-logical relations of Honsell and Sannella on Henkin models, but also generalise naturally to models in cartesian closed categories and to richer languages. |
| บรรณานุกรม | : |
Plotkin, Gordon , Power, John , Sannella, Donald , Tennent, Robert . (2543). Lax Logical Relations.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Power, John , Sannella, Donald , Tennent, Robert . 2543. "Lax Logical Relations".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Power, John , Sannella, Donald , Tennent, Robert . "Lax Logical Relations."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2543. Print. Plotkin, Gordon , Power, John , Sannella, Donald , Tennent, Robert . Lax Logical Relations. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2543.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
