История
4 сентября 2022
1 сентября 2022
18 января 2017
→\lambda\Pi-исчисление
→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении
+1
→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении
+1
→\lambda\Pi-исчисление
+2
→Задача вывода типов в \lambda\Pi-исчислении
+48
17 января 2017
Нет описания правки
м-25
Нет описания правки
-11
Нет описания правки
+46
→См. также
+107
→См. также
+111
→См. также
+48
См. также статью про лямбда куб
+60
Лирическое вступление
+1388
Нет описания правки
м+6
→См. также
+235
→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении
м+110
→Задача вывода типов в \lambda\Pi-исчислении: More english
+50
→\lambda\Pi-исчисление: English terms
+271
→Задача вывода типов в \lambda\Pi-исчислении
м+1
См. также, источники и категории
+389
→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении
+3634
Добавил пробелов в применения
+42
→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении
+1766
→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении: Всё кроме доказательства теоремы
+1777
→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении
+2230
Новый раздел
+133
→\lambda\Pi-исчисление: пояснил за well-formed.
+78
→Типизируемость в \lambda\Pi-исчислении
+3181
Новый раздел
+90
Викификация
+173
<tex> вместо <math>
-88
Определение исчисления
+4054
Новая страница: «=Неразрешимость задачи вывода типов в языке с зависимыми типами=»
+118