Лекция 4. С.Л. Кузнецов. Свойство Чёрча — Россера (окончание). Типовое лямбда исчисление…