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

parallel reduction of types מתח
.תִכנו	параллельная редукция типов (ssn)