On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions
scientific article; zbMATH DE number 1853151
scientific article