Порядочность бета-редукции
Sep. 24th, 2017 02:45 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
deniok(1) Является ли отношение многошаговой бета-редукции на термах бестипового лямбда-исчисления отношением порядка? Докажите или приведите контрпример.
(2) Верен ли ваш ответ для просто типизированной лямбды?
