Categorical Structures for Type Theory in Univalent Foundations.

Benedikt Ahrens Peter LeFanu Lumsdaine Vladimir Voevodsky

Published in: CSL (2017)

Keyphrases

artificial intelligence
theoretical basis
knowledge base
theoretical framework
machine learning
computational model
information retrieval
multiresolution
belief functions
multiple types
numerical data
formal theory