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 Becoming a Candidate by

bigCover of the book Information and the Nature of Reality by

bigCover of the book The Deepening Darkness by

bigCover of the book China, the United States, and Global Order by

bigCover of the book Mechanics of Biomaterials by

bigCover of the book The Cambridge Introduction to William Wordsworth by

bigCover of the book Shell-Shock and Medical Culture in First World War Britain by

bigCover of the book European Union Law by

bigCover of the book Philosophy and the Precautionary Principle by

bigCover of the book The Cambridge Companion to Jewish American Literature by

bigCover of the book Commercializing Successful Biomedical Technologies by

bigCover of the book Optimal Control Theory and Static Optimization in Economics by

bigCover of the book Leon Battista Alberti: On Painting by

bigCover of the book Corruption, Asset Recovery, and the Protection of Property in Public International Law 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