Sémantique catégorique des types : comprendre le système F
Diagrammes, Tome 19 (1988), Exposé no. 2, 40 p.
@article{DIA_1988__19__A2_0,
     author = {Argeron, Pierre},
     title = {S\'emantique cat\'egorique des types : comprendre le syst\`eme {F}},
     journal = {Diagrammes},
     note = {talk:2},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {19},
     year = {1988},
     zbl = {0672.03049},
     mrnumber = {976067},
     language = {fr},
     url = {http://www.numdam.org/item/DIA_1988__19__A2_0/}
}
TY  - JOUR
AU  - Argeron, Pierre
TI  - Sémantique catégorique des types : comprendre le système F
JO  - Diagrammes
N1  - talk:2
PY  - 1988
DA  - 1988///
VL  - 19
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://www.numdam.org/item/DIA_1988__19__A2_0/
UR  - https://zbmath.org/?q=an%3A0672.03049
UR  - https://www.ams.org/mathscinet-getitem?mr=976067
LA  - fr
ID  - DIA_1988__19__A2_0
ER  - 
Argeron, Pierre. Sémantique catégorique des types : comprendre le système F. Diagrammes, Tome 19 (1988), Exposé no. 2, 40 p. http://www.numdam.org/item/DIA_1988__19__A2_0/

[Ageron-Even] Pierre Ageron et Christian Even: Etude de la catégorie des catégories cartésiennes fermées, à paraître.

[Barendregt84] Hendrik Pieter Barendregt; The lambda calculus, deuxième édition, North-Holland, 1984. | MR 774952

[Burroni 8I] Albert Burroni: Algèbres graphiques, Cahiers de Topologie et Géométrie Différentielle, vol. XXII-3, Amiens, 1981. | Numdam | Zbl 0497.18004

[Coppey84] Laurent Coppey: Catégories de Peano, catégories algorithmiques, récursivité, Diagrammes 12, Paris, 1984. | Numdam | MR 800498 | Zbl 0565.18004

[Coppey-Lair85] Laurent Coppey et Christian Lair: Algébricité, monadicité, esquissabilité et non-algébricité, Diagrammes 13, Paris, 1985. | Numdam | MR 817075 | Zbl 0594.18006

[Coquand-Huet87] Thierry Coquand et Gérard Huet: Concepts mathématiques et informatiques formalisés dans le calcul des constructions, in Logic Colloquium 85, edited by Paris Logic Group, North-Holland, 1987. | MR 895642 | Zbl 0627.03045

[Coquand-Ehrhard87] Thierry Coquand et Thomas Ehrhard: An equational presentation of higher order logic, in Proceedings of Category Theory and Computer Science, edited by D, H. Pitt, A. Poigné, D. E. Rydeheard, Lect. Notes in Comp. Sci. 283, Springer, 1987, | MR 925223 | Zbl 0643.03050

[Coquand] Thierry Coquand: Categories of embeddings, à paraître. | Zbl 0688.18004

[Curien86] Pierre-Louis Curien: Categorical combinators, Sequential Algorithms and Functional Programming, Pitman, 1986.

[Dubuc-Kelly83] Eduardo Dubuc et Max G. Kelly: A presentation of topoï as algebraic relative to categories or graphs, Journal of Algebra, vol. 81-2, 1983. | MR 700293 | Zbl 0516.18009

[Ehresmann68] Charles Ehresmann: Esquisses et types des structures algébriques, Bul. Instit, Polit. Iasi, vol. XIV, 1968. | MR 238918 | Zbl 0196.03102

[Freyd-Girard-Scedrov-Scott] Peter J. Freyd, Jean-Yves Girard, Andre Scedov et Philip J. Scott: Semantic parametricity in polymorphic μ-calculus, à paraître.

[Girard7l] Jean-Yves Girard: Une extension de l'interprétation fonctionnelle de Gödel à l'analyse et son application à l'élimination des coupures dans l'analyse et la théorie des types, in Proceedings of the second Scandinavian Logic Symposium, Oslo, 1970, edited by J.E Fenstad, North-Holland, 1971, | MR 409133 | Zbl 0221.02013

[Girard86] Jean-Yves Girard: The system F of variable types, fifteen years later, Theoretical Computer Science, vol. 45, 1986. | MR 867281 | Zbl 0623.03013

[Girard] Jean-Yves Girard: Typed μ-calculus, Cambridge Tracts in Theoretical Computer science, à paraître,

[Guitart-Lair80] René Guitart et Christian Lair; Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, Paris, 1980. | Numdam | MR 684746 | Zbl 0508.03030

[Huet] Gérard Huet: A uniform approach to type theory, à paraître.

[Lair75] Christian Lair: Esquissabilité et triblabilité, 21ème colloque sur les catégories, Amiens 75, Cahiers de Topologie et Géométrie Différentielle, vol. XVI-3, Amiens, 1975. | Zbl 0397.18006

[Lair87] Christian Lair: Trames et sémantiques catégoriques des systèmes de trames, Diagrammes 18, Paris, 1987. | Numdam | MR 944790 | Zbl 0672.18001

[Lair79] Christian Lair: Condition syntaxique de triplabilité d'un foncteur algébrique esquissé, Diagrammes 1, Paris, 1979, | Numdam | MR 684431 | Zbl 0511.18009

[Lambek-Scott86] Joachim Lambek et Philip J. Scott: Introduction to higher order categorical logic, Cambridge Univ, Press, 1986, | MR 856915 | Zbl 0596.03002

[MacDonald-Stone84] John Macdonaldet Arthur Stone: Topoï over graphe, Cahiers de Topologie et Géométrie Différentielle, vol. XXV-1, Amiens, 1984.

[Pitts87] Andrew M. Pitts: Polymorphism is set-theoretic constructively, in Proceedings of Category Theory and Computer Science, edited by D. H. Pitt, A. Poigné, D.E. Rydeheard, Lect, Notes in Comp. Sci. 283, Springer, 1987. | MR 925222 | Zbl 0644.18003

[Reynolds84] John C. Reynolds: Polymorphism is not set-theoretic, in Semantics of Data Types, edited by G. Kahn et al. , Lect. Notes in Comp. Sci. 173, Springer, 1984, | MR 784456 | Zbl 0554.03012

[Seely87] R. A. G. Seely: Categorical senantics for higher order Solynorphic μ- calculus, The journal of symbolic Logic, vol. 52-4, 1987 . | MR 916402 | Zbl 0642.03007