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

higher-order unification מתח
.תִכנו	унификация высшего порядка (Alex_Odeychuk)