> Additionally, I have another question: where is this theory [potentially] applied, even if only in niche areas?

Intermediate languages - write an interpreter, a JIT, or a compiler for the tree calculus. Then write a high-level language that reduces to tree calculus.