Home›Browse›Category:Type theory🌐EnglishEnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoPortuguêsTiếng ViệtTürkçeРусскийالعربيةفارسیไทย한국어中文日本語EntityQ7451631· pop 29Category:Type theoryWikimedia category~1 min readArticleContentsTopRead full article (4 paragraphs)Available in 28 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoالعربيةBahasa Indonesia