TY  - RPRT
TI  - Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination
AU  - Kento Takyu
AU  - Kazunori Ueda
PY  - 2026
UR  - https://arxiv.org/abs/2411.14802
ID  - 2411.14802
ER  -