Automorphisms of Types and Their Applications
- Авторы: Soloviev S.1, Malakhovski J.1
-
Учреждения:
- IRIT, Paul Sabatier University, Toulouse, France and ITMO University
- Выпуск: Том 240, № 5 (2019)
- Страницы: 692-706
- Раздел: Article
- URL: https://journals.rcsi.science/1072-3374/article/view/242820
- DOI: https://doi.org/10.1007/s10958-019-04386-8
- ID: 242820
Цитировать
Аннотация
We outline recent results in the theory of type isomorphisms and automorphisms and present several practical applications of these results that can be useful in the contexts of programming and data security. Bibliography: 27 titles.
Об авторах
S. Soloviev
IRIT, Paul Sabatier University, Toulouse, France and ITMO University
Автор, ответственный за переписку.
Email: soloviev@irit.fr
Россия, St. Petersburg
J. Malakhovski
IRIT, Paul Sabatier University, Toulouse, France and ITMO University
Email: soloviev@irit.fr
Россия, St. Petersburg
Дополнительные файлы
