TY  - RPRT
TI  - Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
AU  - Tim S. Lyon
PY  - 2025
UR  - https://arxiv.org/abs/2210.17139
ID  - 2210.17139
ER  -