Automorphisms of Types in Certain Type Theories and Representation of Finite Groups - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2018

Automorphisms of Types in Certain Type Theories and Representation of Finite Groups

Résumé

The notion of automorphism of types is defined, as usual, it is an isomorphism A->A. The groups of automorphisms of types in different type theories are studied. It is shown that in simply typed lambda calculus the automorphism groups of types are exactly the groups of automorphisms of finite trees. In second-order lambda calculus (system F) and in case of dependent product types any finite group can be represented.
Fichier principal
Vignette du fichier
soloviev_26149.pdf (715.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02947763 , version 1 (24-09-2020)

Identifiants

Citer

Sergei Soloviev. Automorphisms of Types in Certain Type Theories and Representation of Finite Groups. Mathematical Structures in Computer Science, 2018, 29 (4), pp.511-551. ⟨10.1017/S0960129518000129⟩. ⟨hal-02947763⟩
18 Consultations
52 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More