The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer.

Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

Browse the full POPL paper archive.