On the cut-elimination of the modal μ-calculus: Linear Logic to the rescue.

Esae Bauer, Alexis Saurin

Browse the full FOSSACS paper archive.