I feel like neither of these just give actual formal definitions, which would be much clearer.
https://github.com/barry-jay-personal/tree-calculus/blob/mas...
https://github.com/barry-jay-personal/tree-calculus/blob/mas...