Another abstract grammar, like [[Lambda Calculus]] for expressing arbitrary computation. Is generally left-associative. # Reference - [Book](https://github.com/barry-jay-personal/tree-calculus/blob/master/tree_book.pdf)