Sign in | English | Terms of Use
DictionaryForumContacts
Terms containing typing relation | all forms | exact matches only | in specified order only
SubjectEnglishRussian
progr.algorithmic typing relationалгоритмическое отношение типизации (ssn)
progr.generation lemma for the typing relationлемма о порождении для отношения типизации (ssn)
progr.inversion of the typing relationинверсия отношения типизации (ssn)
progr.properties of the typing relationсвойства отношения типизации (ssn)
progr.typing relationотношение типизации (ssn)
progr.typing relation for arithmetic expressionsотношение типизации для арифметических выражений (ssn)

Get short URL