Wild omega-Categories for the Homotopy Hypothesis in Type Theory.

André Hirschowitz Tom Hirschowitz Nicolas Tabareau

Published in: TLCA (2015)

Keyphrases

computational model
theoretical framework
theoretical basis
databases
general theory
real time
decision trees
training data
computer science
special case