French Mu-calcul Cited by user Fschwarzentruber on 12 Mar 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…