Internal Universes in Models of Homotopy Type Theory.

Daniel R. Licata Ian Orton Andrew M. Pitts Bas Spitters

Published in: CoRR (2018)

Keyphrases

experimental data
mathematical models
learning algorithm
computer vision
computational model
theoretical framework
statistical models
computational models
artificial intelligence
e learning
case study
search algorithm
probabilistic model
parameter estimation
theoretical basis
general theory