Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms containing typing derivation | all forms | in specified order only
SubjectEnglishRussian
progr.derivation tree for the typing statementдерево вывода для утверждения типизации (ssn)
progr.examples of induction on typing derivationsпримеры индукции на деревьях вывода типов (ssn)
progr.induction on typing derivationsиндукция на деревьях вывода типов (ssn)
progr.typing derivationдерево вывода типов (ssn)

Get short URL