Treatise on Intuitionistic Type Theory

• Main Author: Granström, Johan Georg (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2011.
• Series: Logic, Epistemology, and the Unity of Science ; 22
• Subjects: Philosophy.; Epistemology.; Logic.; Computer logic.; Algorithms.; Mathematical logic.; Mathematical Logic and Foundations.; Logics and Meanings of Programs.; History of Philosophy.

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.  This book expounds several aspects of intuitionistic type theory, s...