An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus.

Luca Ciccone, Luca Padovani

Browse the full CONCUR paper archive.