LMNtal gains principled box-copying and box-deletion constructs, enabling direct encoding and state-space exploration of MELL proof net cut elimination.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination
LMNtal gains principled box-copying and box-deletion constructs, enabling direct encoding and state-space exploration of MELL proof net cut elimination.