Tell your friends about this item:
Computation and Reasoning: A Type Theory for Computer Science - International Series of Monographs on Computer Science Luo, Zhaohui (Lecturer / Research Fellow, Department of Computer Science, Lecturer / Research Fellow, Department of Computer Science, JCMB, Edinburgh)
Price
$ 134.49
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Aug 28 - Sep 9
Get notified about new Luo, Zhaohui (Lecturer / Research Fellow, Department of Computer Science, Lecturer / Research Fellow, Department of Computer Science, JCMB, Edinburgh) releases
Our customers say:
Add to your iMusic wish list
Computation and Reasoning: A Type Theory for Computer Science - International Series of Monographs on Computer Science
Luo, Zhaohui (Lecturer / Research Fellow, Department of Computer Science, Lecturer / Research Fellow, Department of Computer Science, JCMB, Edinburgh)
Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning.
240 pages, line figures throughout
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | March 31, 1994 |
| ISBN13 | 9780198538356 |
| Publishers | Oxford University Press |
| Pages | 240 |
| Dimensions | 161 × 241 × 19 mm · 460 g |
| Language | English |
![Cover for My eyes for beauty pine (Sheet music) [Vocal score edition] (2028)](https://imusic.b-cdn.net/images/item/original/126/9780193501126.jpg?2028-my-eyes-for-beauty-pine-sheet-music&class=scaled&v=1550933031)
![Cover for Harris Jr., H. Stephen (Partner, Partner, Winston & Strawn LLP) · Anti-Monopoly Law and Practice in China (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/089/9780198704089.jpg?harris-jr-h-stephen-partner-partner-winston-strawn-llp-2027-anti-monopoly-law-and-practice-in-china-paperback-book&class=scaled&v=1471196294)
![Cover for Gilmore, Stephen (Professor of Family Law and Vice-Dean, Professor of Family Law and Vice-Dean, King's College London) · Hayes & Williams' Family Law (Paperback Book) [8 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/233/9780192866233.jpg?gilmore-stephen-professor-of-family-law-and-vice-dean-professor-of-family-law-and-vice-dean-king-s-college-london-2027-hayes-williams-family-law-paperback-book&class=scaled&v=1677285021)
![Cover for Gillespie, Andrew (Formerly Head of Business and Marketing Director, d'Overbroecks, Oxford and Associate Lecturer, Formerly Head of Business and Marketing Director, d'Overbroecks, Oxford and Associate Lecturer, Oxford Brookes University) · Foundations of Economics (Paperback Book) [6 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/235/9780192846235.jpg?gillespie-andrew-formerly-head-of-business-and-marketing-director-d-overbroecks-oxford-and-associate-lecturer-formerly-head-of-business-and-marketing-director-d-overbroecks-oxford-and-associate-lecturer-oxford-brookes-university-2027-foundations-of-economi&class=scaled&v=1784550996)
![Cover for Atkins, Peter (Emeritus Professor, Emeritus Professor, University of Oxford) · Molecular Quantum Mechanics (Paperback Book) [6 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/323/9780197935323.jpg?atkins-peter-emeritus-professor-emeritus-professor-university-of-oxford-2027-molecular-quantum-mechanics-paperback-book&class=scaled&v=1786968296)
![Cover for Schabas, William A. (Professor of International Law, Professor of International Law, Middlesex University London) · The European Convention on Human Rights: A Commentary - Oxford Commentaries on International Law (Hardcover Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/657/9780198978657.jpg?schabas-william-a-professor-of-international-law-professor-of-international-law-middlesex-university-london-2027-the-european-convention-on-human-rights-a-commentary-oxford-commentaries-on-international-law-hardcover-book&class=scaled&v=1782771510)