TY  - RPRT
TI  - Initial Algebra Semantics for Cyclic Sharing Tree Structures
AU  - Makoto Hamana
PY  - 2010
DO  - 10.2168/lmcs-6(3:15)2010
UR  - https://arxiv.org/abs/1007.4266
ID  - 1007.4266
ER  -