J Nussbaumer,
VC Tran,
A Winter - arXiv preprint arXiv:2207.14805, 2022 - arxiv.org
With the algebraic trees, L\" ohr and Winter (2021) introduced a generalization of the notion
of graph-theoretic trees to account for potentially uncountable structures. The tree structure …