Parametricity, automorphisms of the universe, and excluded middle.

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

Published in: CoRR (2017)

Keyphrases

artificial neural networks
data sets
neural network
learning algorithm
multi dimensional
equivalence relation
databases
genetic algorithm
social networks
information systems
training data
case based reasoning
co occurrence
rough set approximations