Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Coherence and Transitivity of Subtyping as Entailment

Abstract : Link to file in free access: https://www.di.ens.fr/users/longo/download.html
Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03318019
Contributeur : Usr 3608 République Des Savoirs <>
Soumis le : lundi 9 août 2021 - 10:22:04
Dernière modification le : lundi 23 août 2021 - 17:00:01

Identifiants

  • HAL Id : hal-03318019, version 1

Collections

Citation

Giuseppe Longo, Kathleen Milsted, Sergei Soloviev. Coherence and Transitivity of Subtyping as Entailment. Journal of Logic and Computation, Oxford University Press (OUP), 2000, 10 (4), pp.493-526. ⟨hal-03318019⟩

Partager

Métriques

Consultations de la notice

13