Recherche et téléchargement d’archives de revues mathématiques numérisées
Scott, Philip J.
Functorial polymorphism and semantic parametricity. Diagrammes, 22 (1989), p. 77-90
Notice complète | Texte intégral djvu | pdf | Analyses MR 1059272 | Zbl 0704.03047