История

Учебник Обсуждение

Основы функционального программирования/Формализация функционального программирования на основе лямбда-исчисления

27 сентября 2009

Ashikbot
Уточнение ключа сортировки
09:53
+141

18 апреля 2009

Gribozavr
категория
м
19:12
+101
Gribozavr
«Формализация функционального программирования на основе λ-исчисления» переименована в «[[Основы функционального программирования/Фо�
м
19:05

29 сентября 2008

Ramir
«Основы функционального программирования/Формализация функционального программирования на основе лямбда-исчисления» переименована в
м
03:24

9 февраля 2008

Константин Бытенский
Вставлены формулы, ссылки. Прочие правки.
11:52
+4992

8 февраля 2008

Константин Бытенский
«Основы функционального программирования/Формализация ФП на основе лямбда-исчисления» переименована в «[[Основы функционального прогр
м
15:08

19 сентября 2006

16 апреля 2006

Ramir
«Основы функционального программирования/Формализация ФП на основе lambda-исчисления» переименована в «[[Основы функционального программ
м
06:21

23 марта 2006

Dark Magus
нет описания правки
м
13:46
−148

7 февраля 2006

6 февраля 2006

Dark Magus
Пока лишь копия текста из MS Word - необходима стилизация
07:09
+15 428

Источник — https://ru.wikibooks.org/wiki/Служебная:History/Основы_функционального_программирования/Формализация_функционального_программирования_на_основе_лямбда-исчисления