Sign in

A Type Theory for Strictly Unital ∞-Categories.

Eric FinsterDavid ReutterJamie VicaryAlex 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