Treatise on Intuitionistic Type Theory

• Κύριος συγγραφέας: Granström, Johan Georg (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2011.
• Σειρά: Logic, Epistemology, and the Unity of Science ; 22
• Θέματα: 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...