Mu-calcul

concept

extension de la logique modale classique avec des opérateurs de points fixes

Propriétés

Catégories