Algorithme deAlgorithme desubstitution en théoriedes typesde base en théorie des types.Explorer un algorithme de substitutionLogique en informatiqueSimplifier les substitutions dans la théorie des types multimodalesUn aperçu d'un algorithme de substitution dans la Théorie des Types Multimode.2025-07-26T17:11:18+00:00 ― 6 min lire