Zapiski Nauchnykh Seminarov POMI
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Zap. Nauchn. Sem. POMI:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Zapiski Nauchnykh Seminarov POMI, 2018, Volume 468, Pages 287–308 (Mi znsl6596)  
II

Automorphisms of types and their applications

S. Solovievab, J. Malakhovskiab

a IRIT, Paul Sabatier University, 118 route de Narbonne 31062, Toulouse, France
b ITMO University, St. Petersburg, Russia
Full-text PDF (253 kB)
References:
PDF
HTML
Abstract: We outline recent results in the theory of type isomorphisms and automorphisms and present several practical applications of said results that can be useful in the contexts of programming and data security.
Key words and phrases: lambda calculus, type theory, isomorphisms, automorphisms, automated theorem proving, library search, group theory, cryptography, data security.
Funding agency Grant number
Government of the Russian Federation 08-08
EU COST CA15123
This work was partially financially supported by the Goverment of Russian Federation (Grant 08-08) and by EU COST Action CA15123.
Received: 20.09.2018
English version:
Journal of Mathematical Sciences (New York), 2019, Volume 240, Issue 5, Pages 692–706
DOI: https://doi.org/10.1007/s10958-019-04386-8
Bibliographic databases:
Document Type: Article
UDC: 512.58+510.64+510.51
Language: English
Citation: S. Soloviev, J. Malakhovski, “Automorphisms of types and their applications”, Representation theory, dynamical systems, combinatorial methods. Part XXIX, Zap. Nauchn. Sem. POMI, 468, POMI, St. Petersburg, 2018, 287–308; J. Math. Sci. (N. Y.), 240:5 (2019), 692–706
Citation in format AMSBIB
\Bibitem{SolMal18}
\by S.~Soloviev, J.~Malakhovski
\paper Automorphisms of types and their applications
\inbook Representation theory, dynamical systems, combinatorial methods. Part~XXIX
\serial Zap. Nauchn. Sem. POMI
\yr 2018
\vol 468
\pages 287--308
\publ POMI
\publaddr St.~Petersburg
\mathnet{http://mi.mathnet.ru/znsl6596}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2019
\vol 240
\issue 5
\pages 692--706
\crossref{https://doi.org/10.1007/s10958-019-04386-8}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85068123893}
Linking options:
  • https://www.mathnet.ru/eng/znsl6596
  • https://www.mathnet.ru/eng/znsl/v468/p287
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Записки научных семинаров ПОМИ
    Statistics & downloads:
    Abstract page:98
    Full-text PDF :41
    References:32
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024