Relative Monads Formalised.

Thorsten Altenkirch James Chapman Tarmo Uustalu

Published in: J. Formaliz. Reason. (2014)

Keyphrases

computer vision
feature selection
training data
data sets
neural network
data mining
pairwise
special case