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 Cambridge History of the Second World War: Volume 2, Politics and Ideology by

bigCover of the book Preemption Choice by

bigCover of the book A Case-Based Approach to PET/CT in Oncology by

bigCover of the book A History of the Spanish Language by

bigCover of the book Authorship and Cultural Identity in Early Greece and China by

bigCover of the book A Critical Introduction to Khomeini by

bigCover of the book Global Public Interest in International Investment Law by

bigCover of the book Ancient Models of Mind by

bigCover of the book Diglossia and Language Contact by

bigCover of the book Anthropology and Economy by

bigCover of the book Music and Social Movements 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