TY  - RPRT
TI  - An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear $π$-Calculus
AU  - Luca Ciccone
AU  - Luca Padovani
PY  - 2022
UR  - https://arxiv.org/abs/2207.03749
ID  - 2207.03749
ER  -