Introduction - from type theory and homotopy theory to univalent foundations.

Steve Awodey Nicola Gambino Erik Palmgren

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

theoretical framework
artificial intelligence
case study
theoretical basis
databases
real world
data mining
learning algorithm
computational model