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 Gandhi: 'Hind Swaraj' and Other Writings by

bigCover of the book Shakespeare and Early Modern Political Thought by

bigCover of the book Impacts of Climate Change on Allergens and Allergic Diseases by

bigCover of the book Cognitive Behaviour Therapy for Children and Families by

bigCover of the book Judgment and Decision Making as a Skill by

bigCover of the book The Politics of Representation in the Global Age by

bigCover of the book English Around the World by

bigCover of the book Writing Arctic Disaster by

bigCover of the book The Expression of Emotion by

bigCover of the book Mapping Mythologies by

bigCover of the book The Insecurity State by

bigCover of the book The Status of Women in Jewish Tradition by

bigCover of the book Information for Autocrats 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