Terms for subject Programming containing тип правил

Russian	English
набор правил вывода, присваивающих термам типы	set of inference rules assigning types to terms (ssn)
наименьшее бинарное отношение между термами и типами, удовлетворяющее всем правилам	smallest binary relation between terms and types satisfying all instances of the rules (ssn)
правила вывода, присваивающие термам типы	inference rules assigning types to terms (ssn)