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

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

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



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






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


Зап. научн. сем. ПОМИ, 2018, том 475, страницы 99–121 (Mi znsl6687)  

О некоторых перечислительных задачах лямбда-исчисления

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

Национальный исследовательский университет "Высшая школа экономики", ул. Союза Печатников, д. 16, Санкт-Петербург 190008, Россия

Аннотация: В статье рассматриваются комбинаторные задачи, связанные с перечислением лямбда-термов в бестиповом лямбда-исчислении, а также в просто типизированных системах с одним атомом в стиле Черча. Для случая бестипового лямбда-исчисления строится система уравнений на производящие функции, описывающие количество лямбда-термов. В случае типизированного лямбда-исчисления перечисляются как населенные типы, так и простейшие обитатели в них. Библ. — 11 назв.

Ключевые слова: лямбда-термы, перечисление, бестиповое и типизированное лямбда-исчисление.

Полный текст: PDF файл (256 kB)
Список литературы: PDF файл   HTML файл

Тип публикации: Статья
УДК: 519.115
Поступило: 21.11.2018

Образец цитирования: Е. С. Краско, И. Н. Лабутин, Д. Н. Москвин, А. В. Омельченко, А. И. Храбров, “О некоторых перечислительных задачах лямбда-исчисления”, Комбинаторика и теория графов. 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}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/znsl6687
  • http://mi.mathnet.ru/rus/znsl/v475/p99

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Записки научных семинаров ПОМИ
    Просмотров:
    Эта страница:4
    Полный текст:1

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019