A notion of homotopy for the effective topos.

Jaap van Oosten

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

computer vision
databases
learning algorithm
face recognition
computational complexity
computer science
preprocessing