A type-theoretical definition of weak ω-categories.

Eric Finster Samuel Mimram

Published in: LICS (2017)

Keyphrases

database
databases
machine learning
decision trees
hierarchical structure
computer vision
website
case study
three dimensional
computer science
preprocessing
special case
theoretical analysis