Enhancing a Hierarchical Graph Rewriting Language Based on MELL Cut Elimination.

Kento Takyu, Kazunori Ueda

Browse the full PADL paper archive.