Automorphisms of types and their applications

DOI10.1007/s10958-019-04386-8zbMath1468.03018OpenAlexW2953530644MaRDI QIDQ2307975

J. Malakhovski, Serguei V. Solov'ev

Publication date: 25 March 2020

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-019-04386-8

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Type theory (03B38)

Uses Software

• Agda
• GitHub
• Hoogle

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
• The MOR cryptosystem and finite $p$-groups
• Automorphisms of types in certain type theories and representation of finite groups
• An Efficient Unification Algorithm
• A Complete Proof Synthesis Method for the Cube of Type Systems
• Retrieving library functions by unifying types modulo linear isomorphism
• An Introduction to Mathematical Cryptography
• Efficient algorithms for isomorphisms of simple types

This page was built for publication: Automorphisms of types and their applications