Le principe de substitution de Leibniz : condition nécessaire et suffisante de l'opacité référentielle ?
Résumé
Nous nous proposons de montrer que le principe de substitution de Leibniz n'est pas, comme il est admis, la condition nécessaire et suffisante permettant de décider de l'opacité référentielle d'un contexte.
| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|