Записки научных семинаров ПОМИ
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Записки научных семинаров ПОМИ, 2018, том 475, страницы 99–121 (Mi znsl6687)  
О некоторых перечислительных задачах лямбда-исчисления

Е. С. Краско, И. Н. Лабутин, Д. Н. Москвин, А. В. Омельченко, А. И. Храбров

Национальный исследовательский университет "Высшая школа экономики", ул. Союза Печатников, д. 16, Санкт-Петербург 190008, Россия
PDF полного текста (256 kB)
Список литературы:
PDF
HTML
Аннотация: В статье рассматриваются комбинаторные задачи, связанные с перечислением лямбда-термов в бестиповом лямбда-исчислении, а также в просто типизированных системах с одним атомом в стиле Черча. Для случая бестипового лямбда-исчисления строится система уравнений на производящие функции, описывающие количество лямбда-термов. В случае типизированного лямбда-исчисления перечисляются как населенные типы, так и простейшие обитатели в них. Библ. — 11 назв.
Ключевые слова: лямбда-термы, перечисление, бестиповое и типизированное лямбда-исчисление.
Поступило: 21.11.2018
Тип публикации: Статья
УДК: 519.115
Образец цитирования: Е. С. Краско, И. Н. Лабутин, Д. Н. Москвин, А. В. Омельченко, А. И. Храбров, “О некоторых перечислительных задачах лямбда-исчисления”, Комбинаторика и теория графов. X, Зап. научн. сем. ПОМИ, 475, ПОМИ, СПб., 2018, 99–121
Цитирование в формате AMSBIB
\RBibitem{KraLabMos18}
\by Е.~С.~Краско, И.~Н.~Лабутин, Д.~Н.~Москвин, А.~В.~Омельченко, А.~И.~Храбров
\paper О некоторых перечислительных задачах лямбда-исчисления
\inbook Комбинаторика и теория графов.~X
\serial Зап. научн. сем. ПОМИ
\yr 2018
\vol 475
\pages 99--121
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl6687}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/znsl6687
  • https://www.mathnet.ru/rus/znsl/v475/p99
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Записки научных семинаров ПОМИ
    Статистика просмотров:
    Страница аннотации:125
    PDF полного текста:79
    Список литературы:24
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024