Subtyping parametric and dependent types - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Type Theory and Term Rewriting Année : 1996

Subtyping parametric and dependent types

, (1, 2, 3)
1
2
3

Résumé

In free access : https://www.di.ens.fr/users/longo/download.html
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⟩
9 Consultations
0 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More