T.: Categorical Views on Computations on Trees (Extended Abstract (2007)

by I Hasuo, B Jacobs, Uustalu
Venue:Berlin / Heidelberg