TY  - RPRT
TI  - Wider systems for linear logic with fixed points: proof theory and complexity
AU  - Anupam Das
AU  - Tikhon Pshenitsyn
PY  - 2026
UR  - https://arxiv.org/abs/2602.10280
ID  - 2602.10280
ER  -