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 Diplomacy in Renaissance Rome by

bigCover of the book The New Cambridge Companion to Joseph Conrad by

bigCover of the book Gupta and Gelb's Essentials of Neuroanesthesia and Neurointensive Care by

bigCover of the book Introduction to the Old Testament by

bigCover of the book The Rise of Modern Science Explained by

bigCover of the book The Party Politics of Presidential Rhetoric by

bigCover of the book The Conceptual Representation of Consciousness by

bigCover of the book Comparative Social Evolution by

bigCover of the book The Cambridge World History: Volume 2, A World with Agriculture, 12,000 BCE–500 CE by

bigCover of the book Failures of American Methods of Lawmaking in Historical and Comparative Perspectives by

bigCover of the book Turing's Imitation Game by

bigCover of the book A Brief History of Economic Thought by

bigCover of the book International Tax Policy by

bigCover of the book The Dynamics of Broadband Markets in Europe 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