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

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

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


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




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

Записки научных семинаров ПОМИ, 2018, том 468, страницы 287–308 (Mi znsl6596)  
II

Automorphisms of types and their applications
[Автоморфизмы типов и их приложения]

S. Solovievab, J. Malakhovskiab

a IRIT, Paul Sabatier University, 118 route de Narbonne 31062, Toulouse, France
b ITMO University, St. Petersburg, Russia
PDF полного текста (253 kB)
Список литературы:
PDF
HTML
Аннотация: В статье приводится краткое изложение новых результатов об изоморфизмах и автоморфизмах в теории типов и предлагается несколько практических применений указанных результатов в контексте языков программирования и защиты данных. Библ. – 27 назв.
Ключевые слова: лямбда исчисление, теория типов, изоморфизмы, автоморфизмы, автоматическое доказательство теорем, поиск в библиотеках, теория групп, криптография, защита данных.
Финансовая поддержка Номер гранта
Правительство Российской Федерации 08-08
EU COST CA15123
This work was partially financially supported by the Goverment of Russian Federation (Grant 08-08) and by EU COST Action CA15123.
Поступило: 20.09.2018
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2019, Volume 240, Issue 5, Pages 692–706
DOI: https://doi.org/10.1007/s10958-019-04386-8
Реферативные базы данных:
Тип публикации: Статья
УДК: 512.58+510.64+510.51
Язык публикации: английский
Образец цитирования: S. Soloviev, J. Malakhovski, “Automorphisms of types and their applications”, Теория представлений, динамические системы, комбинаторные методы. XXIX, Зап. научн. сем. ПОМИ, 468, ПОМИ, СПб., 2018, 287–308; J. Math. Sci. (N. Y.), 240:5 (2019), 692–706
Цитирование в формате AMSBIB
\RBibitem{SolMal18}
\by S.~Soloviev, J.~Malakhovski
\paper Automorphisms of types and their applications
\inbook Теория представлений, динамические системы, комбинаторные методы.~XXIX
\serial Зап. научн. сем. ПОМИ
\yr 2018
\vol 468
\pages 287--308
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl6596}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2019
\vol 240
\issue 5
\pages 692--706
\crossref{https://doi.org/10.1007/s10958-019-04386-8}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85068123893}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/znsl6596
  • https://www.mathnet.ru/rus/znsl/v468/p287
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Записки научных семинаров ПОМИ
    Статистика просмотров:
    Страница аннотации:97
    PDF полного текста:40
    Список литературы:31
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024