| ชื่อเรื่อง | : | From Action Calculi to Linear Logic |
| นักวิจัย | : | Barber, Andrew G , Gardner, Phillipa , Hasegawa, Masahito , Plotkin, Gordon |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2541 |
| อ้างอิง | : | COMPUTER SCIENCE LOGIC LECTURE NOTES IN COMPUTER SCIENCE 1414: 78-97 1998 , 0302-9743 , http://hdl.handle.net/1842/217 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | 20 |
| บทคัดย่อ/คำอธิบาย | : | Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the propositions-as-types paradigm; the type theory has a sound and complete interpretation in Power’s categorical models. We go on to give a sound translation of our type theory in the (type theory of) intuitionistic linear logic, corresponding to the relation between Benton’s models of linear logic and models of action calculi. The conservativity of the syntactic translation is proved by a model-embedding construction using the Yoneda lemma. Finally, we briefly discuss how these techniques can also be used to give conservative translations between various extensions of action calculi. |
| บรรณานุกรม | : |
Barber, Andrew G , Gardner, Phillipa , Hasegawa, Masahito , Plotkin, Gordon . (2541). From Action Calculi to Linear Logic.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Barber, Andrew G , Gardner, Phillipa , Hasegawa, Masahito , Plotkin, Gordon . 2541. "From Action Calculi to Linear Logic".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Barber, Andrew G , Gardner, Phillipa , Hasegawa, Masahito , Plotkin, Gordon . "From Action Calculi to Linear Logic."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2541. Print. Barber, Andrew G , Gardner, Phillipa , Hasegawa, Masahito , Plotkin, Gordon . From Action Calculi to Linear Logic. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2541.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
