calculus-type language

Язык типа исчисления