Pure type system
pure+type+system
form of typed lambda calculus that allows an arbitrary number of sorts and dependencies between any of these
форма типізованого лямбда-числення
Чистая система типов
Αμιγές σύστημα τύπων
Чиста система типів