Functorial polymorphism and semantic parametricity
Diagrammes, Tome 22 (1989), pp. 77-90. 
@article{DIA_1989__22__77_0,
     author = {Scott, Philip J.},
     title = {Functorial polymorphism and semantic parametricity},
     journal = {Diagrammes},
     pages = {77--90},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {22},
     year = {1989},
     zbl = {0704.03047},
     mrnumber = {1059272},
     language = {en},
     url = {http://www.numdam.org/item/DIA_1989__22__77_0/}
}
TY  - JOUR
AU  - Scott, Philip J.
TI  - Functorial polymorphism and semantic parametricity
JO  - Diagrammes
PY  - 1989
DA  - 1989///
SP  - 77
EP  - 90
VL  - 22
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://www.numdam.org/item/DIA_1989__22__77_0/
UR  - https://zbmath.org/?q=an%3A0704.03047
UR  - https://www.ams.org/mathscinet-getitem?mr=1059272
LA  - en
ID  - DIA_1989__22__77_0
ER  - 
Scott, Philip J. Functorial polymorphism and semantic parametricity. Diagrammes, Tome 22 (1989), pp. 77-90. http://www.numdam.org/item/DIA_1989__22__77_0/

[BFSS a] Bainbridge, E.S., Freyd, P.J., Scedrov, A., Scott, P.J. Functorial polymorphism. In: Huet, G. Logical Foundations of Functional Programming, Proceedings University of Texas Programming Institute, Austin, Texas, June 1987, ed. by G. Huet, to appear. | MR 1047051

[BFSS b] Bainbridge, E.S., Freyd, P.J., Scedrov, A., Scott, P.J. Functorial polymorphism, Theoretical Computer Science, to appear. | MR 1047051 | Zbl 0717.18005

Barendregt, H.P., The Lambda Calculus (Revised Edition), Studies in Logic and the Foundations of Mathematics, North-Holland, 1984. | MR 774952 | Zbl 0551.03007

Breazu-Tannen, V., Coquand, T[87] Extensional models for polymorphism. Proc. TAPSOFT '87 - CFLP, Pisa. Springer LNCS 250. Expanded version to appear in Theor. Comp. Science. | MR 900622 | Zbl 0636.03005

Carboni, A., Freyd, P., Scedrov, A. [88] A categorical approach to realizability and polymorphic types. Proc. 3rd ACM Workshop on the Mathematical Foundations of the Programming Semantics, New Orleans, April, 1987, ed. by M. Main et al., Springer LNCS 298, 1988, pp. 23-42. | MR 948482 | Zbl 0651.18004

[CGW] Coquand, T., Gunter, C.A., Winskel, G. Domain theoretic models for polymorphism. Information and Computation, to appear. | MR 997196 | Zbl 0683.03007

[DS70] Dubuc, E.J., Street, R., Dinatural transformations, Reports of the Midwest Category Seminar IV, Springer LNM Vol. 137 [ 1970], pp. 126-128. | MR 274550 | Zbl 0222.18004

Eilenberg, S., Kelly, G.M. A generalization of the functorial calculus, J. Algebra 3 [ 1966], pp. 366-375. | MR 190204 | Zbl 0146.02501

[F89] Freyd, P.J. Structural Polymorphism I, II, III (Preliminary Report) Univ. of Pennsylvania, Jan. 1989.

[FGSS] Freyd, P.J., Girard, J.Y., Scedrov, A., Scott, P.J. [88] Semantic parametricity in polymorphic lambda calculus. Proc. 3rd IEEE Symposium on Logic in Computer Science, Edinburgh, Scotland, July 1988.

[Gi 72] Girard, J.-Y. Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur. Thèse de Doctorat d'Etat, Université de Paris VII.

[Gi 86] Girard, J.-Y. The system F of variables types, fifteen years later. Theor. Comp. Science 45 [ 1986] pp. 159-192. | MR 867281 | Zbl 0623.03013

[Gi87] Girard, J.-Y. Le Lambda Calcul Du Second Ordre, Séminaire Bourbaki, Astérisque 152-153 ( 1987), pp. 173-185. | Numdam | MR 936854 | Zbl 0645.03013

Hasagawa, Ryu. Parametric Polymorphism and Internal Representations of Recursive Type Definitions, Manuscript, 12 April, 1989

Hyland, J.M.E. A small complete category, Ann. Pure and Applied Logic, V. 40, ( 1988) 135-165. | MR 972520 | Zbl 0659.18007

Hyland, J.M.E., Robinson, E.P., Rosolini, G. The discrete objects in the Effective Topos. Preprint, 1987.

Kelly, M. Many-variable Functional Calculus I, Coherence in Categories, SLNM281, S. MacLane, ed., 1977, pp. 66-105. | Zbl 0243.18015

[LS] Lambek, J., Scott, P.J. Introduction to higher-order categorical logic. Cambridge University Press, Studies in Advanced Mathematics 7, 1986. | MR 856915 | Zbl 0596.03002

[Mac] Maclane, S. Categories for the working Mathematician, Graduate Texts in Mathematics 5, Springer-Verlag, 1971. | MR 1712872 | Zbl 0232.18001

[R83] Reynolds, J.C. Types, abstraction, and parametric polymorphism. In: Information Processing '83, ed. by R.E.A. Mason. North-Holland, Amsterdam, pp. 513-523.

[R84] Reynolds, J.C. Polymorphism is not set-theoretic. Symposium on Semantics of Data Types, ed. by Kahn et al., Springer LNCS 173, 1984. | MR 784456 | Zbl 0554.03012

[RP88] Reynolds, J.C., Plotkin, G.D. On functors expressible in the polymorphic typed lambda calculus. To appear in Information and Computation. | MR 1225479 | Zbl 0785.03004

Robinson, E.P. [89] How Complete is PER ? Proc. 4th IEEE Symposium on Logic in Computer Science, Asilomar, Califomia, June 1989. | Zbl 0717.03028

Seely, R.A.G. [87] Categorical semantics for higher-order polymorphic lambda calculus. J. Symbolic Logic 52 [ 1987] pp. 969-989. | MR 916402 | Zbl 0642.03007

Wadler, P. Theorems for Free! To appear in : 4th International Symposium on Functional Languages and Computer Architecture, London, Sept 1989.

[Y60] Yoneda, N. On Ext and exact sequences J. Fac. Sci., Tokyo Sec 1, Vol. 8, 1960, pp. 507-526. | MR 225854 | Zbl 0163.26902