Recherche et téléchargement d’archives de revues mathématiques numérisées

 
 
  Table des matières de ce fascicule | Article précédent
Scott, Philip J.
Functorial polymorphism and semantic parametricity. Diagrammes, 22 (1989), p. 77-90
Texte intégral djvu | pdf | Analyses MR 1059272 | Zbl 0704.03047

URL stable: http://www.numdam.org/item?id=DIA_1989__22__77_0

Bibliographie

[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.
Article |  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
Copyright Cellule MathDoc 2014 | Crédit | Plan du site