0зной
1ответ
Используется ли теорема Церковно-Россера для уменьшения стоимости звонка?
0зной
1ответ
рекурсия для церковных числительных в схеме
7зной
1ответ
Можно ли эффективно внедрить `max` в нетипизированное лямбда-исчисление?
0зной
1ответ
Lambda выражение в ANTLR несоответствующий ввод
4зной
1ответ
Как восстановить исходный код из функции чистого JavaScript?
-1зной
1ответ
8зной
1ответ
Можно ли вывести нормализованный источник чистой функции λ на Haskell?
8зной
3ответ
Есть ли эффективный способ преобразования унарного номера в двоичный номер?
1зной
1ответ
EVAL: неопределенная функция NIL в Lisp
1зной
1ответ
Y-Combinator factorial в javascript работает для чисел не для церковных цифр.