A Type Theory for Strictly Unital ∞-Categories.

Eric Finster David Reutter Jamie Vicary

Published in: CoRR (2020)

Keyphrases

theoretical framework
real time
information retrieval
artificial intelligence
information technology
artificial neural networks
special case
probabilistic model
theoretical foundation
theoretical basis
decision theory