Добавление некомбинаторных соотношений к исчислению $\lambda$-конверсии

Введены расширения $\lambda$-исчисления посредством новых констант и соотношений, даны определения их непротиворечивости и корректности, предложен критерий корректности расширения.
Библиогр. 4.