Treatise on Intuitionistic Type Theory
||Granström, Johan Georg|
|Series title:||Logic, Epistemology, and the Unity of Science Ser.|
|Publication Date:||Aug 2013|
| Book Format:||Paperback|
|List Price:||USD $209.00|
| Book Description: |
Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.