Parametric and type-dependent polymorphism
Résumé
Papers in free access: https://www.di.ens.fr/users/longo/download.html
Article Dans Une Revue
Fundamenta Informaticae
Année : 1995
Cécile Alrivie : Connectez-vous pour contacter le contributeur
https://ens.hal.science/hal-03316296
Soumis le : vendredi 6 août 2021-14:16:09
Dernière modification le : vendredi 19 avril 2024-16:18:57
Dates et versions
Identifiants
- HAL Id : hal-03316296 , version 1
Citer
Giuseppe Longo. Parametric and type-dependent polymorphism. Fundamenta Informaticae, 1995, 22 (1-2), pp.69-92. ⟨hal-03316296⟩
20
Consultations
0
Téléchargements