Изменения

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

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

Нет изменений в размере, 01:25, 12 января 2015
Нет описания правки
\Lambda \to V\\
\Lambda \to \Lambda @ \Lambda\\
\Lambda \to \lambda V . \lambdaLambda\\
</tex>
}}
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/44227»

Навигация