DictionaryForumContacts

   English
Terms for subject Programming containing many-sorted logic | all forms | in specified order only
EnglishRussian
many-sorted logic with parametric polymorphismмногосортная логика с параметрическим полиморфизмом (University of Melbourne, Австралия Alex_Odeychuk)