French Mu-calcul Cited by user Fschwarzentruber on 20 Sep 2018 En logique mathématique et en informatique théorique, le mu-calcul (ou logique du mu-calcul modal) est l'extension de la logique modale classique avec des opérateurs de…