many-sorted calculus

Мат. исчисление с несколькими видами переменных