Category:Type theory

<nowiki>teoria dei tipi; 類型論; théorie des types; Θεωρία τύπων; 类型论; teorio de tipoj; теория типов; type theory; Typentheorie; teoria dos tipos; típuselmélet; نظریه نوع‌ها; 类型论; 類型論; teorija tipov; 型理論; teoría de tipos; תורת הטיפוסים; typetheorie; teoria typów; теорія типів; Tiplər nəzəriyyəsi; 類型論; typeteori; теорија на типовите; 유형론 (수학); Типтер теориясы; نظرية النمط; Teorie typů; Lý thuyết hình thái; formale Systeme als Alternativen zur axiomatischen Mengenlehre; 수학자 버트런드 러셀이 제안한 유형 개념에서 파생한 이론; concept in mathematical logic and computer science; teorie; théorie mathématique; Teoria de tipos; タイプ理論; 階型理論; typentheorie; tip-teorio; tipa teorio; tipteorio; tipoteorio; Typtheorie; 형 이론; theory of types; تئوری نوع ها; نظریه انواع; تئوری انواع; نظریه نوع ها; نظریهٔ نوع ها; 型別理論; 类型理论; 逻辑类型; نمط</nowiki>