Normalization for Cubical Type Theory.

Jonathan Sterling Carlo Angiuli

Published in: LICS (2021)

Keyphrases

multi agent systems
digital images
computational model
preprocessing
theoretical framework
image processing
formal theory
databases
general theory
belief functions
self organizing maps
probabilistic model
three dimensional
computer vision
artificial intelligence
learning algorithm
machine learning
real world