Categorical structures for type theory in univalent foundations.

Benedikt Ahrens Peter LeFanu Lumsdaine Vladimir Voevodsky

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

theoretical framework
data sets
real time
theoretical basis
artificial intelligence
case study
computational model
general theory
formal theory
decision trees
theoretical foundation
information theory
conceptual framework