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.