Coherence and Transitivity of Subtyping as Entailment
Résumé
Link to file in free access: https://www.di.ens.fr/users/longo/download.html
Article Dans Une Revue
Journal of Logic and Computation
Année : 2000
UAR 3608 République des savoirs : Connectez-vous pour contacter le contributeur
https://hal-ens.archives-ouvertes.fr/hal-03318019
Soumis le : lundi 9 août 2021-10:22:04
Dernière modification le : vendredi 10 juin 2022-15:54:01
Dates et versions
Identifiants
- HAL Id : hal-03318019 , version 1
Citer
Giuseppe Longo, Kathleen Milsted, Sergei Soloviev. Coherence and Transitivity of Subtyping as Entailment. Journal of Logic and Computation, 2000, 10 (4), pp.493-526. ⟨hal-03318019⟩
14
Consultations
0
Téléchargements