英语 ⇄ 俄语 +

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