Non-Wellfounded Trees in Homotopy Type Theory.

Benedikt Ahrens Paolo Capriotti Régis Spadotti

Published in: TLCA (2015)

Keyphrases

decision trees
image processing
case study
database
neural network
data mining
information retrieval
search engine
data structure
information technology
tree structure
information theory