DictionaryForumContacts

   English Russian +
Google | Forvo | +

many-sorted logic with parametric polymorphism

stresses
progr. многосортная логика с параметрическим полиморфизмом (University of Melbourne, Австралия Alex_Odeychuk)