Type theory
[ar] نظرية النمط
[az] Tiplər nəzəriyyəsi
[cs] Teorie typů
[de] Typentheorie
[el] Θεωρία τύπων
[eo] Teorio de tipoj
[es] Teoría de tipos
[et] Tüübiteooria
[fa] نظریه نوع‌ها
[fr] Théorie des types