type theory

[ریاضیات] نظریه ی انواع