Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Лямбда-исчисление
10 байт убрано
,
01:16, 12 января 2015
Нет описания правки
\Lambda \to A\ \lambda\ V\ .\ \Lambda\ |\ \lambda\ V\ .\ \Lambda\\
\Lambda \to A\\
Application
A
\to A@Unary\ |\ Unary\\
Unary \to '('\ \Lambda\ ')'\ |\ V\\
V \to Char+\\
Анонимный участник
188.227.78.144
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы
Версия для печати