Delooping generated groups in homotopy type theory.

Camil Champin Samuel Mimram Émile Oleon

Published in: CoRR (2024)

Keyphrases

theoretical framework
automatically generated
website
machine learning
evolutionary algorithm
formal theory
theoretical basis
real world
artificial intelligence
database systems
multi agent systems
information technology
relational databases
decision theory