TY  - RPRT
TI  - Semantics of Higher-Order Recursion Schemes
AU  - Jiri Adamek
AU  - Stefan Milius
AU  - Jiri Velebil
PY  - 2011
DO  - 10.2168/lmcs-7(1:15)2011
UR  - https://arxiv.org/abs/1101.4929
ID  - 1101.4929
ER  -