<nowiki>teoría de tipos; 類型論; típuselmélet; Teoria de tipus; Typentheorie; نظریه نوعها; 类型论; typeteori; 類型論; תורת הטיפוסים; 類型論; 유형론; Типтер теориясы; teorio de tipoj; теорија на типовите; teoria dei tipi; théorie des types; tüübiteooria; Lý thuyết hình thái; teorija tipov; 类型论; teorie typů; teoria typów; typeteori; typetheorie; teoria dos tipos; 型理論; Tiplər nəzəriyyəsi; теория типов; type theory; نظرية النمط; Θεωρία τύπων; теорія типів; concepte en lògica matemàtica i informàtica; théorie mathématique; formale Systeme als Alternativen zur axiomatischen Mengenlehre; 수학자 버트런드 러셀이 제안한 유형 개념에서 파생한 이론; mõiste matemaatilises loogikas ja informaatikas; klasa systemów formalnych w informatyce teoretycznej i logice matematycznej; teorie na pomezí matematiky, počítačové vědy a filosofie; study of type systems 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
study of type systems in mathematical logic and computer science