| Subject | English | Russian |
| progr. | many-sorted logic with parametric polymorphism | многосортная логика с параметрическим полиморфизмом (University of Melbourne, Австралия Alex_Odeychuk) |
| progr. | parametric polymorphism | параметрический полиморфизм (позволяет определять функцию или тип данных обобщённо, чтобы значения могли обрабатываться идентично вне зависимости от их типа, он делает язык программирования более выразительным, сохраняя при этом полную статическую типобезопасность; University of Melbourne, Австралия Alex_Odeychuk) |
| progr. | parametric polymorphism | параметрический полиморфизм (ssn) |