A Type Theory for Strictly Unital ∞-Categories.

Eric Finster David Reutter Jamie Vicary Alex Rice

Published in: LICS (2022)

Keyphrases

computational model
theoretical framework
information retrieval
information theory
theoretical basis
formal theory
web services
clustering algorithm
rough sets
theoretical foundation
decision theory