Epimorphisms and Acyclic Types in Univalent Mathematics.

Ulrik Buchholtz Tom de Jong Egbert Rijke

Published in: CoRR (2024)

Keyphrases

database
computer science
np hard
data sets
real world
data mining
image processing
database systems
multi agent systems
multiple types
computer algebra