Порядочность бета-редукции
(1) Является ли отношение многошаговой бета-редукции на термах бестипового лямбда-исчисления отношением порядка? Докажите или приведите контрпример.
(2) Верен ли ваш ответ для просто типизированной лямбды?
Originally posted at http://deniok.dreamwidth.org/65363.html.