Intuitionistic Type Theory
Broschiertes Buch

Intuitionistic Type Theory

Versandfertig in 6-10 Tagen
26,99 €
inkl. MwSt.
PAYBACK Punkte
13 °P sammeln!
Intuitionistic type theory, or constructive type theory, or Martin-Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per Martin-Löf, a Swedish mathematician and philosopher, in 1972. Martin-Löf has modified his proposal a few times; his early, impredicative formulations were inconsistent as demonstrated by Girard's paradox, and later formulations were predicative. He also proposed extensional and then intensional variants of intuitionistic type theory. Intuitionistic t...