ЯЗЫК ТИПА ИСЧИСЛЕНИЯ Русско-английский перевод ЯЗЫК ТИПА ИСЧИСЛЕНИЯ calculus-type language Большой Русско-Английский словарь. New big Russian-English dictionary. 2012