@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}, pages = {PA1--PA40}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {19}, year = {1988}, mrnumber = {976067}, zbl = {0672.03049}, language = {fr}, url = {http://archive.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 SP - PA1 EP - PA40 VL - 19 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://archive.numdam.org/item/DIA_1988__19__A2_0/ LA - fr ID - DIA_1988__19__A2_0 ER -
%0 Journal Article %A Argeron, Pierre %T Sémantique catégorique des types : comprendre le système F %J Diagrammes %Z talk:2 %D 1988 %P PA1-PA40 %V 19 %I Université Paris 7, Unité d'enseignement et de recherche de mathématiques %U http://archive.numdam.org/item/DIA_1988__19__A2_0/ %G fr %F DIA_1988__19__A2_0
Argeron, Pierre. Sémantique catégorique des types : comprendre le système F. Diagrammes, Tome 19 (1988), Exposé no. 2, 40 p. http://archive.numdam.org/item/DIA_1988__19__A2_0/
[Ageron-Even] Etude de la catégorie des catégories cartésiennes fermées, à paraître.
et :[Barendregt84] The lambda calculus, deuxième édition, North-Holland, 1984. | MR
;[Burroni 8I] Algèbres graphiques, Cahiers de Topologie et Géométrie Différentielle, vol. XXII-3, Amiens, 1981. | Numdam | Zbl
:[Coppey84] Catégories de Peano, catégories algorithmiques, récursivité, Diagrammes 12, Paris, 1984. | Numdam | MR | Zbl
:[Coppey-Lair85] Algébricité, monadicité, esquissabilité et non-algébricité, Diagrammes 13, Paris, 1985. | Numdam | MR | Zbl
et :[Coquand-Huet87] 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 | Zbl
et :[Coquand-Ehrhard87] 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 | Zbl
et :[Coquand] Categories of embeddings, à paraître. | Zbl
:[Curien86] Categorical combinators, Sequential Algorithms and Functional Programming, Pitman, 1986.
:[Dubuc-Kelly83] A presentation of topoï as algebraic relative to categories or graphs, Journal of Algebra, vol. 81-2, 1983. | MR | Zbl
et :[Ehresmann68] Esquisses et types des structures algébriques, Bul. Instit, Polit. Iasi, vol. XIV, 1968. | MR | Zbl
:[Freyd-Girard-Scedrov-Scott] Semantic parametricity in polymorphic μ-calculus, à paraître.
, , et :[Girard7l] 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 | Zbl
:[Girard86] The system F of variable types, fifteen years later, Theoretical Computer Science, vol. 45, 1986. | MR | Zbl
:[Girard] Typed μ-calculus, Cambridge Tracts in Theoretical Computer science, à paraître,
:[Guitart-Lair80] Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, Paris, 1980. | Numdam | MR | Zbl
et ;[Huet] A uniform approach to type theory, à paraître.
:[Lair75] 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
:[Lair87] Trames et sémantiques catégoriques des systèmes de trames, Diagrammes 18, Paris, 1987. | Numdam | MR | Zbl
:[Lair79] Condition syntaxique de triplabilité d'un foncteur algébrique esquissé, Diagrammes 1, Paris, 1979, | Numdam | MR | Zbl
:[Lambek-Scott86] Introduction to higher order categorical logic, Cambridge Univ, Press, 1986, | MR | Zbl
et :[MacDonald-Stone84] Topoï over graphe, Cahiers de Topologie et Géométrie Différentielle, vol. XXV-1, Amiens, 1984.
et :[Pitts87] 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 | Zbl
:[Reynolds84] 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 | Zbl
:[Seely87] Categorical senantics for higher order Solynorphic μ- calculus, The journal of symbolic Logic, vol. 52-4, 1987 . | MR | Zbl
: