LMNtal gains principled box-copying and box-deletion constructs, enabling direct encoding and state-space exploration of MELL proof net cut elimination.
In: Graph Transformations (ICGT 2006)
1 Pith paper cite this work, alongside 133 external citations. Polarity classification is still indexing.
1
Pith paper citing it
133
external citations · OpenAlex
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.