Delooping cyclic groups with lens spaces in homotopy type theory.

Samuel Mimram Émile Oleon

Published in: LICS (2024)

Keyphrases

theoretical framework
quotient space
computational model
theoretical basis
neural network
data mining
artificial intelligence
decision making
decision theory
genetic algorithm
data structure
information technology
multi view
probability theory
formal theory