Type Theory and Formal Proof

An Introduction

Nonfiction, Science & Nature, Mathematics, Computers, Programming, Programming Languages, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Type Theory and Formal Proof

More books from Cambridge University Press

bigCover of the book Spinoza and the Stoics by

bigCover of the book Late Modern English Syntax by

bigCover of the book Placental-Fetal Growth Restriction by

bigCover of the book A Social History of Maoist China by

bigCover of the book The Battle against Anarchist Terrorism by

bigCover of the book Foundations of High-Energy-Density Physics by

bigCover of the book The Maximal Subgroups of the Low-Dimensional Finite Classical Groups by

bigCover of the book The Politics of Borders by

bigCover of the book The Cambridge Handbook of Morphology by

bigCover of the book The Brain in a Vat by

bigCover of the book The Cambridge Handbook of Spanish Linguistics by

bigCover of the book Genetics and Philosophy by

bigCover of the book Optimal Regulation and the Law of International Trade by

bigCover of the book The Cambridge Companion to Existentialism by

bigCover of the book Human Capital and Global Business Strategy by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy