notesum.ai

Published at November 22

Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination

cs.PL

Released Date: November 22, 2024

Authors: Kento Takyu1, Kazunori Ueda1

Aff.: 1Waseda University, Tokyo 169-8555, Japan

Arxiv: http://arxiv.org/abs/2411.14802v1