Home›Browse›intuitionistic type theory🌐EnglishEnglishItalianoPolskiPortuguêsРусский한국어中文日本語EntityQ6059147· pop 9· linked from 211 articlesintuitionistic type theorySign in to saveAlso known as Martin-Löf type theoryalternative foundation of mathematicsAvailable in 9 languages中文日本語РусскийPortuguêsItalianoCatalanUkrainian한국어via Wikidata sitelinks · CC0