A Logic of Subtyping

Giuseppe Longo; Kathleen Milsted; Sergei Soloviev

Article dans une revue

A Logic of Subtyping

Giuseppe Longo ^{1, 2, 3} Kathleen Milsted Sergei Soloviev

1 CNRS - Centre National de la Recherche Scientifique

2 ENS Paris - École normale supérieure - Paris

3 Département de mathématiques et d'informatique

Abstract : In free access: https://www.di.ens.fr/users/longo/download.html

Type de document :

Article dans une revue

Domaine :

Informatique [cs]

Mathématiques [math]

Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03316379
Contributeur : Usr 3608 République Des Savoirs <>
Soumis le : vendredi 6 août 2021 - 14:32:42
Dernière modification le : lundi 23 août 2021 - 17:00:01

A Logic of Subtyping

Identifiants

Collections

Citation

Exporter

Métriques

8

A Logic of Subtyping

Identifiants

Collections

Citation

Exporter

Partager

Métriques

8