Automorphisms of types in certain type theories and representation of finite groups.

Sergei Soloviev

Published in: Math. Struct. Comput. Sci. (2019)

Keyphrases

type definitions
multiple types
case study
image representation
genetic algorithm
computer vision
knowledge representation
theoretical framework
finite number
representation scheme
fixed order