Arrêt de service lundi 11 juillet de 12h30 à 13h : tous les sites du CCSD (HAL, EpiSciences, SciencesConf, AureHAL) seront inaccessibles (branchement réseau à modifier)
Accéder directement au contenu Accéder directement à la navigation
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-PSL - É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
Liste complète des métadonnées
https://hal-ens.archives-ouvertes.fr/hal-03316379
Contributeur : UAR 3608 République des savoirs Connectez-vous pour contacter le contributeur
Soumis le : vendredi 6 août 2021 - 14:32:42
Dernière modification le : vendredi 10 juin 2022 - 15:54:01

Identifiants

  • HAL Id : hal-03316379, version 1

Collections

ENS-PARIS | CNRS | INSMI | PSL

Citation

Giuseppe Longo, Kathleen Milsted, Sergei Soloviev. A Logic of Subtyping. Logic in Computer Science, 1995, pp.292-300. ⟨hal-03316379⟩

Exporter

BibTeX TEI DC DCterms EndNote Datacite

Partager

Métriques

Consultations de la notice

8

logo des bib de l'ENS

Contact
Bibliothèques de l'ENS
45 Rue d'Ulm, 75230
Paris cedex 05, France
acces-ouvert@ens.psl.eu

 logo de l'ENS

Données personnelles | Mentions légales | Conformité RGAA | Accessibilité