|
Записки научных семинаров ПОМИ, 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
Аннотация:
В статье приводится краткое изложение новых результатов об изоморфизмах и автоморфизмах в теории типов и предлагается несколько практических применений указанных результатов в контексте языков программирования и защиты данных. Библ. – 27 назв.
Ключевые слова:
лямбда исчисление, теория типов, изоморфизмы, автоморфизмы, автоматическое доказательство теорем, поиск в библиотеках, теория групп, криптография, защита данных.
Поступило: 20.09.2018
Образец цитирования:
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
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl6596 https://www.mathnet.ru/rus/znsl/v468/p287
|
Статистика просмотров: |
Страница аннотации: | 97 | PDF полного текста: | 40 | Список литературы: | 32 |
|