Unfortunately, intuitionistic type theory does not yet have any authoritative presentation and many important works are either out of print or otherwise not readily available. The purpose of the following listing is to make some important books and articles available to the interested public. You are commenting using your WordPress. You are commenting using your Google account. You are commenting using your Twitter account. You are commenting using your Facebook account.
Notify me of new comments via email. Notify me of new posts via email.
Enter your email address to subscribe to this blog and receive notifications of new posts by email. Intuitionistic Type Theory A site for intuitionistic type theory and software architecture. This important paper was written after the Padua lectures, published in book Intuitionistic Type Theory cf. It explains how type theory can be viewed as a programming language.
The rules for propositional equality pp. I can but warmly recommend this book.
Subscribe to RSS
With due permission from the author, I have the privilege of making this book available in PDF format. Thanks to Johan Glimming for scanning the book. To see what your friends thought of this book, please sign up. To ask other readers questions about Treatise on Intuitionistic Type Theory , please sign up. Be the first to ask a question about Treatise on Intuitionistic Type Theory.
Lists with This Book.
Intuitionistic type theory
This book is not yet featured on Listopia. Community Reviews. Showing Rating details. Sort order. Aug 03, Hao Ca Vien rated it it was amazing.
A great treatment of the state of Mathematics, it's history and it's philosophical implications as well as the development of Intuitionism as a Type Theory in regards to computability. It is a great weekend read for mathematicians and it is filled with amusing and frank discourse and language. I highly recommend this for all mathematicians to venture for at least once. Jun 22, M marked it as to-read. There are no discussion topics on this book yet. Goodreads is hiring!
- Navigation menu.
- The Dutch Republic: Its Rise, Greatness, and Fall 1477–1806 (Oxford History of Early Modern Europe).
- An short interview with Dana Scott.
- Things Japanese: Everyday Objects of Exceptional Beauty and Significance!
- The Art of Cryogenics: Low-Temperature Experimental Techniques!
If you like books and love to build cool products, we may be looking for you. About Johan Georg Granstrom.
Johan Georg Granstrom. Trivia About Treatise on Intui No trivia or quizzes yet. Welcome back.