TY  - RPRT
TI  - Pushdown automata, lambda-graph systems and C*-algebras
AU  - Kengo Matsumoto
PY  - 2014
UR  - https://arxiv.org/abs/1407.3058
ID  - 1407.3058
ER  -