Вклад участника
Перейти к:
навигация
,
поиск
83.234.102.107
26 апреля 2014
Лямбда-исчисление
Комбинатор неподвижной точки
12:46
Лямбда-исчисление
Поправил mult без η-редукции
12:24
+17
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Служебная страница
Варианты
Просмотры
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы
Версия для печати