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

DOI10.1017/S0960129518000129zbMath1456.03028MaRDI QIDQ3119463

Serguei V. Solov'ev

Publication date: 12 March 2019

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

20C15: Ordinary representations and characters

68N18: Functional programming and lambda calculus

03B40: Combinatory logic and lambda calculus