Английский ⇄ Русский +

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