11зной
2ответ
2зной
1ответ
Бета-редукция некоторых лямбда
0зной
2ответ
0зной
1ответ
Как уменьшить искривление лямбда
0зной
1ответ
Почему бесплатно в лямбда-то х
1зной
1ответ
Почему не может быть заменен х
0зной
1ответ
LISP списки и нормальная форма
2зной
2ответ
Почему это недопустимое преобразование эта?
1зной
4ответ
Почему множество переменных в лямбда-исчислении обычно определяется как счетное бесконечное?
7зной
1ответ