A Compositional Proof System for the Modal mu-Calculus

Henrik Reif Andersen, Colin Stirling, Glynn Winskel

Browse the full LICS paper archive.