Vertel uw vrienden over dit artikel:
Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science 2011 edition
Johan Georg Granstrom
Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science 2011 edition
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
Bekijk alles van Johan Georg Granstrom ( bijv. Hardcover Book en Paperback Book )