C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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