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
$ 128.99
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jun 26 - Jul 8
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 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 Hulur, Gizem (Professor, Professor, University of Bamberg) · The Seattle Longitudinal Study: Tracking Adult Development and Aging Over 50+ Years (Hardcover Book) [3 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/633/9780198879633.jpg?hulur-gizem-professor-professor-university-of-bamberg-2027-the-seattle-longitudinal-study-tracking-adult-development-and-aging-over-50-years-hardcover-book&class=scaled&v=1780312906)
![Cover for Pink, Thomas (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy, King's College London) · Free Will: A Very Short Introduction - Very Short Introductions (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/826/9780198862826.jpg?pink-thomas-emeritus-professor-of-philosophy-emeritus-professor-of-philosophy-king-s-college-london-2027-free-will-a-very-short-introduction-very-short-introductions-paperback-book&class=scaled&v=1779708645)
![Cover for Gormley, Laurence (Professor of European Law & Jean Monnet Professor, Professor of European Law & Jean Monnet Professor, University of Groningen) · EU Taxation Law (Hardcover Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/403/9780198735403.jpg?gormley-laurence-professor-of-european-law-jean-monnet-professor-professor-of-european-law-jean-monnet-professor-university-of-groningen-2027-eu-taxation-law-hardcover-book&class=scaled&v=1619907403)
![Cover for Bell, Emma (Professor of Organisation Studies, Professor of Organisation Studies, Stockholm School of Economics) · Business Research Methods (Paperback Book) [7 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/615/9780198918615.jpg?bell-emma-professor-of-organisation-studies-professor-of-organisation-studies-stockholm-school-of-economics-2027-business-research-methods-paperback-book&class=scaled&v=1781538536)
