A topological counterpart of well-founded trees in dependent type theory.

Maria Emilia Maietti Pietro Sabelli

Published in: CoRR (2023)

Keyphrases

theoretical framework
decision trees
information theory
general theory
real world
computational model
tree structure
tree automata