Parametricity, Automorphisms of the Universe, and Excluded Middle.

Auke Bart Booij Martín Hötzel Escardó Peter LeFanu Lumsdaine Michael Shulman

Published in: TYPES (2016)

Keyphrases

learning algorithm
feature extraction
computational intelligence
image classification
equivalence relation
database
real time
databases
fuzzy sets