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

dependent type theory מתח
.תִכנו	теория зависимых типов (Alex_Odeychuk)