From Multisets to Sets in homotopy Type Theory.

Håkon Robbestad Gylterud

Published in: J. Symb. Log. (2018)

Keyphrases

theoretical framework
general theory
set theoretic
fixed point
metadata
real valued
theoretical basis
machine learning
social networks
computer vision
website
data structure
computational model
computational models
multiple types
formal theory