אנגלית ⇄ רוסית +

examples of induction on typing derivations מתח
.תִכנו	примеры индукции на деревьях вывода типов (ssn)