The intrinsic topology of Martin-Löf universes.

Martín Hötzel Escardó Thomas Streicher

Published in: Ann. Pure Appl. Log. (2016)

Keyphrases

small world
topology preservation
digital libraries
topology preserving
information retrieval
learning algorithm
decision making
feature space
multiresolution
image registration