Eilenberg-MacLane spaces and stabilisation in homotopy type theory.

Published in: CoRR (2023)

Keyphrases

quotient space
genetic algorithm
theoretical basis
general theory
computational model
theoretical framework
search engine
digital libraries
expert systems
information theory