Categorical Views on Computations on Trees (Extended Abstract)

by Ichiro Hasuo , Bart Jacobs , Tarmo Uustalu
Citations:6 - 0 self