4 citations · 6 across the 14 of their papers we have counts for
1 paper · 2 filters
Grant Molnar
The binary-tree height recursion defines an algebra H on N∪{−∞}, with join given by max and product \[ a\star b=\max\{a,b\}+1. \] We show that w…