История

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

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

4 сентября 2022

Maintenance script
rollbackEdits.php mass rollback
м
19:42
-2316

1 сентября 2022

185.244.195.157
Нет описания правки
06:29
+2316

10 марта 2022

95.85.18.95
→‎α-эквивалетность: орфография
08:03
+4

27 октября 2021

Rybak
удалил неуместный баннер
20:51
-11

26 октября 2021

212.164.38.102
→‎Комбинатор неподвижной точки
23:12
+2

10 марта 2019

9 августа 2018

Zclimber
→‎Нотация Де Брауна
01:30
-26

3 апреля 2018

29 января 2018

188.227.78.184
→‎β-редукция
04:50
+7

17 апреля 2017

Shersh
→‎Свободные и связанные переменные
м
18:36
-7

17 января 2017

Artemohanjanyan
См. также
17:27
+146

12 сентября 2016

Kirelagin
Нет описания правки
16:18

12 января 2015

11 января 2015

10 января 2015

50 более старых

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:History/Лямбда-исчисление»

Навигация