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 Parliamentary Bills of Rights by

bigCover of the book Public Choice III by

bigCover of the book River Discharge to the Coastal Ocean by

bigCover of the book Neuropathic Pain by

bigCover of the book Soils of South Africa by

bigCover of the book Molecular Engineering Thermodynamics by

bigCover of the book Prospects in International Investment Law and Policy by

bigCover of the book Eating Otherwise by

bigCover of the book Non-Muslims in the Early Islamic Empire by

bigCover of the book The Cambridge Companion to Caryl Churchill by

bigCover of the book Justice across Boundaries by

bigCover of the book The Sleeping Sovereign by

bigCover of the book The Cambridge Companion to the Piano 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