A Logic of Subtyping
Résumé
In free access: https://www.di.ens.fr/users/longo/download.html
Article Dans Une Revue
Logic in Computer Science
Année : 1995
UAR 3608 République des savoirs : Connectez-vous pour contacter le contributeur
https://hal-ens.archives-ouvertes.fr/hal-03316379
Soumis le : vendredi 6 août 2021-14:32:42
Dernière modification le : vendredi 24 mars 2023-14:53:22
Dates et versions
Identifiants
- HAL Id : hal-03316379 , version 1
Citer
Giuseppe Longo, Kathleen Milsted, Sergei Soloviev. A Logic of Subtyping. Logic in Computer Science, 1995, pp.292-300. ⟨hal-03316379⟩
12
Consultations
0
Téléchargements