A Type-Theoretical Definition of Weak ω-Categories.

Eric Finster Samuel Mimram

Published in: CoRR (2017)

Keyphrases

theoretical analysis
type definitions
neural network
real world
search algorithm
databases
artificial intelligence
knowledge base
automatic classification