Изменения

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

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

61 байт убрано, 01:25, 12 января 2015
Нет описания правки
|definition=
<tex>
\Lambda \to A\ \lambda\ V\ .\ \Lambda\ |\ \lambda\ V\ .\ \Lambda\\\Lambda \to A\\A \to A\ Lambda @\ \Lambda\ |\ V\ |\ \Lambda\ |to \ lambda V. \\V \to Char+lambda\\
</tex>
}}
Анонимный участник

Навигация