<nowiki>teoria dei tipi; 類型論; théorie des types; Θεωρία τύπων; tüübiteooria; 类型论; teorio de tipoj; type theory; теория типов; típuselmélet; Typentheorie; teoria dos tipos; 類型論; نظریه نوعها; 类型论; typeteori; 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; 수학자 버트런드 러셀이 제안한 유형 개념에서 파생한 이론; mõiste matemaatilises loogikas ja informaatikas; théorie mathématique; teorie; concept in mathematical logic and computer science; Teoria de tipos; タイプ理論; 階型理論; tüüpide teooria; tüübi teooria; typentheorie; tip-teorio; tipa teorio; tipteorio; tipoteorio; Typtheorie; 형 이론; theory of types; نمط; 型別理論; 类型理论; 逻辑类型; تئوری نوع ها; نظریه انواع; تئوری انواع; نظریه نوع ها; نظریهٔ نوع ها</nowiki>
type theory
concept in mathematical logic and computer science