🔧На сайте запланированы технические работы
25.12.2025 в промежутке с 18:00 до 21:00 по Московскому времени (GMT+3) на сайте будут проводиться плановые технические работы. Возможны перебои с доступом к сайту. Приносим извинения за временные неудобства. Благодарим за понимание!
🔧Site maintenance is scheduled.
Scheduled maintenance will be performed on the site from 6:00 PM to 9:00 PM Moscow time (GMT+3) on December 25, 2025. Site access may be interrupted. We apologize for the inconvenience. Thank you for your understanding!

 

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