Subtyping parametric and dependent types
Résumé
In free access : https://www.di.ens.fr/users/longo/download.html
Article Dans Une Revue
Type Theory and Term Rewriting
Année : 1996
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
Dates et versions
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⟩
15
Consultations
0
Téléchargements