Изменения

Перейти к: навигация, поиск

Лямбда-исчисление

Нет изменений в размере, 01:49, 11 января 2015
Комбинатор неподвижной точки
Наиболее известным комбинатором неподвижной точки является <tex>Y</tex>-комбинатор, введенный известным американским ученым Хаскеллом Карри как
:<tex>Y\ =\ \lambda f.(\lambda x\.f(x\ x))\ (\lambda x.f(x\ x))</tex>
===Деление===
Анонимный участник

Навигация