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 The Legacies of Totalitarianism by

bigCover of the book The Changing Body by

bigCover of the book Greening EU Competition Law and Policy by

bigCover of the book Greek Narratives of the Roman Empire under the Severans by

bigCover of the book Doomed Interventions by

bigCover of the book Fourier Analysis by

bigCover of the book Secularism and Muslim Democracy in Turkey by

bigCover of the book Microgrids and other Local Area Power and Energy Systems by

bigCover of the book Microeconomics for MBAs by

bigCover of the book Empire, Race and Global Justice by

bigCover of the book Data Analysis Using SAS Enterprise Guide by

bigCover of the book The Cambridge Companion to the Bible by

bigCover of the book An Introduction to the Trinity by

bigCover of the book Information Theory and Coding by Example 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