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 Risk Management in the Outdoors by

bigCover of the book The Acquisition of Syntactic Structure by

bigCover of the book Australian Export by

bigCover of the book The Neutral Theory of Molecular Evolution by

bigCover of the book The Impact of Idealism: Volume 1, Philosophy and Natural Sciences by

bigCover of the book Politics in Dark Times by

bigCover of the book India Since 1980 by

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

bigCover of the book From Solidarity to Geopolitics by

bigCover of the book Children, Adults, and Shared Responsibilities by

bigCover of the book Buried by the Times by

bigCover of the book Wave Forces on Offshore Structures by

bigCover of the book Migration, Mobility and Place in Ancient Italy by

bigCover of the book Institutional Constructivism in Social Sciences and Law by

bigCover of the book Doing Capitalism in the Innovation Economy 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