Categorical Views on Computations on Trees (Extended Abstract)

Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu. Categorical Views on Computations on Trees (Extended Abstract). In Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki, editors, Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings. Volume 4596 of Lecture Notes in Computer Science, pages 619-630, Springer, 2007. [doi]

Abstract

Abstract is missing.