C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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