Cellular Cohomology in Homotopy Type Theory.

Ulrik Buchholtz Kuen-Bang Hou

Published in: CoRR (2018)

Keyphrases

theoretical framework
cellular automata
theoretical basis
formal theory
social networks
database
face recognition
probability distribution