@Article{ So2018.1,

author = {Soloviev, Sergei},

title = "{Automorphisms of Types in Certain Type Theories and Representation of Finite Groups}",

journal = {Mathematical Structures in Computer Science},

publisher = {Cambridge University Press},

address = {http://www.cambridge.org/},

year = {2018},

to_appear = {to appear},

language = {anglais},

keywords = {isomorphism of types, automorphism of types, group of automorphisms},

abstract = {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.}

}