A Logic of Subtyping - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Logic in Computer Science Année : 1995

A Logic of Subtyping

Résumé

In free access: https://www.di.ens.fr/users/longo/download.html
Fichier non déposé

Dates et versions

hal-03316379 , version 1 (06-08-2021)

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

Partager

Gmail Facebook Twitter LinkedIn More