Universes and univalence in homotopy Type Theory.

James Ladyman Stuart Presnell

Published in: Rev. Symb. Log. (2019)

Keyphrases

theoretical basis
theoretical framework
artificial intelligence
computational model
fixed point
real time
computer vision
video sequences
support vector
trade off
multiresolution
hidden markov models