אנגלית ⇄ רוסית +

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