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

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

• 23:10, 7 сентября 2023 EducationBot обсуждение вклад создал страницу Русская Википедия:Просто типизированное лямбда-исчисление (Новая страница: «{{Русская Википедия/Панель перехода}} '''Просто типизированное лямбда-исчисление''' (''простое типизированное лямбда-исчисление'', ''лямбда-исчисление с простыми типами'', ''система <math>\lambda^\rightarrow</math>'') — система типизированное лямбда-исчисление|типизиров...»)