 |
Article dans une revue
A Logic of Subtyping
Abstract : In free access: https://www.di.ens.fr/users/longo/download.html
https://hal-ens.archives-ouvertes.fr/hal-03316379
Contributeur : Uar 3608 République Des Savoirs Connectez-vous pour contacter le contributeur
Soumis le : vendredi 6 août 2021 - 14:32:42
Dernière modification le : mercredi 17 novembre 2021 - 12:34:05
Contributeur : Uar 3608 République Des Savoirs Connectez-vous pour contacter le contributeur
Soumis le : vendredi 6 août 2021 - 14:32:42
Dernière modification le : mercredi 17 novembre 2021 - 12:34:05
