A conservativity result for homotopy elementary types in dependent type theory.

Matteo Spadetto

Published in: CoRR (2023)

Keyphrases

database systems
theoretical foundation
multiple types
machine learning
image processing
computer vision
decision making
multiscale
multiresolution
hidden markov models
belief functions
general theory
set theory