Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions.

Marino Miculan

Browse the full ICALP paper archive.