Le principe de substitution de Leibniz : condition nécessaire et suffisante de l'opacité référentielle ?
Abstract
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.
Origin : Publisher files allowed on an open archive