Cellular Cohomology in Homotopy Type Theory.

Ulrik Buchholtz Kuen-Bang Hou (Favonia)

Published in: LICS (2018)

Keyphrases

theoretical framework
cellular automata
database
neural network
real world
relational databases
information retrieval
case study
search algorithm
special case
computational model
fixed point
information theory
conceptual framework
general theory