Automorphisms of Types and Their Applications


Cite item

Full Text

Open Access Open Access
Restricted Access Access granted
Restricted Access Subscription Access

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

Supplementary files

Supplementary Files
Action
1. JATS XML

Copyright (c) 2019 Springer Science+Business Media, LLC, part of Springer Nature