Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu
Categorical Views on Computations on Trees
ICALP, 2007.
@inproceedings{ICALP-2007-HasuoJU, author = "Ichiro Hasuo and Bart Jacobs and Tarmo Uustalu", booktitle = "{Proceedings of the 34th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/978-3-540-73420-8_54", isbn = "978-3-540-73419-2", pages = "619--630", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Categorical Views on Computations on Trees}", volume = 4596, year = 2007, }