Geodesic
Functorial polymorphism and semantic parametricity
Diagrammes, Actes Volume 1. Journées d'études esquisses, logique et informatique théorique, Tome 22 (1989), pp. 77-90

Voir la notice de l'article provenant de la source Numdam

MR   Zbl 

Scott, Philip J. Functorial polymorphism and semantic parametricity. Diagrammes, Actes Volume 1. Journées d'études esquisses, logique et informatique théorique, Tome 22 (1989), pp. 77-90. http://geodesic.mathdoc.fr/item/DIA_1989__22__77_0/
@article{DIA_1989__22__77_0,
     author = {Scott, Philip J.},
     title = {Functorial polymorphism and semantic parametricity},
     journal = {Diagrammes},
     pages = {77--90},
     year = {1989},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {22},
     mrnumber = {1059272},
     zbl = {0704.03047},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DIA_1989__22__77_0/}
}
TY  - JOUR
AU  - Scott, Philip J.
TI  - Functorial polymorphism and semantic parametricity
JO  - Diagrammes
PY  - 1989
SP  - 77
EP  - 90
VL  - 22
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://geodesic.mathdoc.fr/item/DIA_1989__22__77_0/
LA  - en
ID  - DIA_1989__22__77_0
ER  - 
%0 Journal Article
%A Scott, Philip J.
%T Functorial polymorphism and semantic parametricity
%J Diagrammes
%D 1989
%P 77-90
%V 22
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://geodesic.mathdoc.fr/item/DIA_1989__22__77_0/
%G en
%F DIA_1989__22__77_0