Sets in homotopy type theory

Egbert Rijke Bas Spitters

Published in: CoRR (2013)

Keyphrases

theoretical framework
general theory
set theoretic
theoretical basis
preprocessing
information theory
conceptual framework
data sets
genetic algorithm
computer vision
database systems
image sequences
multiresolution
probability distribution
convex sets