Univalence for inverse diagrams and homotopy canonicity.

Michael Shulman

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

Keyphrases

fixed point
data sets
computer vision
decision trees
hand drawn
machine learning
decision making
website
multi agent
information technology
artificial neural networks
jacobian matrix
entity relationship diagrams