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

typed lambda calculi מתח
.תִכנו	типизированное лямбда-исчисление (Alex_Odeychuk)