2зной
1ответ
Как получить комбинатор Y через S combinator или другие?
2зной
1ответ
Как ввести просто типизированный термин лямбда-исчисления (S K K)
1зной
1ответ
конвертировать флип-лямбда в термины SKI
1зной
1ответ
сокращения Lambda доказать S K = K I