Login / Signup
Non-wellfounded trees in Homotopy Type Theory.
Benedikt Ahrens
Paolo Capriotti
Régis Spadotti
Published in:
CoRR (2015)
Keyphrases
</>
decision trees
data mining
theoretical framework
computer vision
theoretical foundation
theoretical basis
neural network
real world
information retrieval
tree structures