Англійська ⇄ Російська +

many-sorted logic with parametric polymorphism наголоси
прогр.	многосортная логика с параметрическим полиморфизмом (University of Melbourne, Австралия Alex_Odeychuk)