Automorphisms of Types and Their Applications.
Résumé
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.