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 Political Economy of Defence by

bigCover of the book The Origins of AIDS by

bigCover of the book The Cambridge Companion to Keynes by

bigCover of the book Daily Life in Late Antiquity by

bigCover of the book The Cambridge History of the Cold War: Volume 1, Origins by

bigCover of the book Principles of Contemporary Corporate Governance by

bigCover of the book National Liberation in Postcolonial Southern Africa by

bigCover of the book The Drug Wars in America, 1940–1973 by

bigCover of the book Human Dependency and Christian Ethics by

bigCover of the book The Economics of John Kenneth Galbraith by

bigCover of the book Religion and Ritual in Ancient Egypt by

bigCover of the book Profit and Gift in the Digital Economy by

bigCover of the book Israel's Security and Its Arab Citizens by

bigCover of the book St John and the Victorians by

bigCover of the book The French Enlightenment and the Emergence of Modern Cynicism 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