Русская Википедия:Типизированное лямбда-исчисление: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

20 сентября 2023

  • текущ.пред. 05:3205:32, 20 сентября 2023EducationBot обсуждение вклад 4389 байт +4389 Новая страница: «{{Русская Википедия/Панель перехода}} '''Типизированное лямбда-исчисление''' — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами. Допустимы различные наборы пра...»