Порядочность бета-редукции

[deniok]

(1) Является ли отношение многошаговой бета-редукции на термах бестипового лямбда-исчисления отношением порядка? Докажите или приведите контрпример.

(2) Верен ли ваш ответ для просто типизированной лямбды?

Comments

[codedot]

См. также упр. 3.5.2 (iii).

[juan_gandhi]

А, вот и ответ. Я что-то такое задумывал было, но...