Categorical Views on Computations on Trees (Extended Abstract).

Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu

Browse the full ICALP paper archive.