@misc{indiciaec030888750b8, title = {Semantics of Higher-Order Recursion Schemes}, author = {Jiri Adamek and Stefan Milius and Jiri Velebil}, year = {2011}, doi = {10.2168/lmcs-7(1:15)2011}, url = {https://arxiv.org/abs/1101.4929}, note = {Source identifier: 1101.4929} }