Изменения

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

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

11 байт добавлено, 20:00, 8 января 2015
Нет описания правки
{{Определение
|definition=''<tex>\alpha</tex>-эквивалетностью'' {{---}} называется наименьшее соотношение эквивалентности на <tex>\Lambda </tex> такое что:
:<tex>P=_\alpha P</tex> для любого <tex>P</tex>
:<tex>\lambda x.P=_\alpha \lambda y.P[x:=y]</tex> если <tex>y \not\in FV(P)</tex>
Анонимный участник

Навигация