Russian ⇄ English

правила включения stresses
IT	containment rules
правило включения
progr.	subsumption rule (если выражение e принадлежит к типу t' в контексте типизации Г, и выполняется t'<:t, то e принадлежит также и к типу t Alex_Odeychuk)

правила включения: 2 phrases in 1 subject

Programming

2