Придумают же!

[thesz]

https://treecalcul.us/ - исчисление деревьев.

Как комбинаторное исчисление, только деревья.

PS
Там правила вычислений позволяют смотреть внутрь вычисляемой структуры, или структуры, что выполняет вычисления, это забавно. Как Лисп, только деревья. ;)