Unifying Cubical Models of Univalent Type Theory.

Evan Cavallo Anders Mörtberg Andrew W. Swan

Published in: CSL (2020)

Keyphrases

probabilistic model
formal models
mathematical framework
statistical models
real time
digital images
mathematical models
computational models
experimental data
artificial neural networks
prior knowledge
complex systems
case study
knowledge base
computer vision
theoretical basis
real world
neural network