9 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
Benno van den Berg, Federico de Marchi
Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data-structures. Categori…