Sign in

Parametricity, Automorphisms of the Universe, and Excluded Middle.

Auke Bart BooijMartín Hötzel EscardóPeter LeFanu LumsdaineMichael Shulman
Published in: TYPES (2016)
Keyphrases
  • learning algorithm
  • feature extraction
  • computational intelligence
  • image classification
  • equivalence relation
  • database
  • real time
  • databases
  • fuzzy sets