Все доступные журналы

Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).

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