Subtyping parametric and dependent types - ENS - École normale supérieure
Article Dans Une Revue Type Theory and Term Rewriting Année : 1996

Subtyping parametric and dependent types

Résumé

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

Domaines

Informatique [cs] Mathématiques [math]

Cécile Alrivie  : Connectez-vous pour contacter le contributeur

https://ens.hal.science/hal-03316472

Soumis le : vendredi 6 août 2021-14:45:34

Dernière modification le : vendredi 19 avril 2024-16:18:57

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-03316472 , version 1

Citer

Gang Chen, Giuseppe Longo. Subtyping parametric and dependent types. Type Theory and Term Rewriting, 1996. ⟨hal-03316472⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-PARIS CNRS PSL
21 Consultations
0 Téléchargements

Partager

More