Recomienda este artículo a tus amigos:
Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science Johan Georg Granstrom 2011 edition
Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science
Johan Georg Granstrom
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.
198 pages, 8 black & white tables, biography