Automorphisms of Types and Their Applications
- Authors: Soloviev S.1, Malakhovski J.1
-
Affiliations:
- IRIT, Paul Sabatier University, Toulouse, France and ITMO University
- Issue: Vol 240, No 5 (2019)
- Pages: 692-706
- Section: Article
- URL: https://journals.rcsi.science/1072-3374/article/view/242820
- DOI: https://doi.org/10.1007/s10958-019-04386-8
- ID: 242820
Cite item
Abstract
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.
About the authors
S. Soloviev
IRIT, Paul Sabatier University, Toulouse, France and ITMO University
Author for correspondence.
Email: soloviev@irit.fr
Russian Federation, St. Petersburg
J. Malakhovski
IRIT, Paul Sabatier University, Toulouse, France and ITMO University
Email: soloviev@irit.fr
Russian Federation, St. Petersburg