О сколько нам открытий чудных...
Mar. 28th, 2008 08:52 pmО сколько нам открытий чудных дарит изучение просто типизированной чистой лямбды.
Пусть есть лямбда-терм, который может быть редуцирован к другому лямбда-терму с помощью цепочки обычных бета-редукций:

Сохраняется ли при этом тип? То есть верно ли утверждение

(Двойная стрелочка читается "бета-редуцируемо к")
( Ответ под катом... )
Пусть есть лямбда-терм, который может быть редуцирован к другому лямбда-терму с помощью цепочки обычных бета-редукций:
Сохраняется ли при этом тип? То есть верно ли утверждение
(Двойная стрелочка читается "бета-редуцируемо к")