英语 ⇄ 俄语 +

examples of induction on typing derivations 强调
编程	примеры индукции на деревьях вывода типов (ssn)