EDP Sciences logo
Subscriber Authentication Point
Search
Menu
All issues Volume 30 / No 3 (1996) RAIRO-Theor. Inf. Appl., 30 3 (1996) 261-293 References
Free Access
Issue
RAIRO-Theor. Inf. Appl.
Volume 30, Number 3, 1996
Page(s) 261 - 293
DOI https://doi.org/10.1051/ita/1996300302611
Published online 01 February 2017
  1. 1. H. BARENDREGT, The lambda calculus: Its Syntax and Semantics, North Holland, 1984. [MR: 774952] [Zbl: 0551.03007] [Google Scholar]
  2. 2. J. Y. GIRARD, Y. LAFONT et P. TAYLOR, Proofs and types, Cambridge University Press, 1986. [MR: 1003608] [Zbl: 0671.68002] [Google Scholar]
  3. 3. P. GIANNINI et S. RONCHI DELLA ROCCA. Characterization of typing in polymorphic type discipline. LICS, Edimbourg, 1988, p. 61-70. [Google Scholar]
  4. 4. J.-L. KRIVINE, Lambda calcul, évaluation paresseuse et mise en mémoire, Informatique Théorique et Application, 1991, 25, 1, p. 67-84. [EuDML: 92382] [MR: 1104412] [Zbl: 0717.03003] [Google Scholar]
  5. 5. J.-L. KRIVINE, Lambda calcul, types et modèle, Masson, Paris, 1990. [MR: 1162977] [Zbl: 0697.03004] [Google Scholar]
  6. 6. J.-L. KRIVINE, Opérateurs de mise en mémoire et traduction de Gödel, Archive for Mathematical Logic, 1990, 30, p. 241-267. [MR: 1080590] [Zbl: 0712.03009] [Google Scholar]
  7. 7. J.-L. KRIVINE, Mise en mémoire (preuve générale). Manuscrit, 1991. [Google Scholar]
  8. 8. R. LABIB-SAMI. Typer avec (ou sans) types auxilières, Manuscrit, 1986. [Google Scholar]
  9. 9. K. NOUR, Opérateurs de mise en mémoire en lambda-calcul pur et typé, Thèse de doctorat, Université de Savoie, 1993. [Google Scholar]
  10. 10. K. NOUR, Opérateurs propres de mise en mémoire, C. R. Acad. Sci., 1993, 317, Série I, p. 1-6. [MR: 1228953] [Zbl: 0788.03015] [Google Scholar]
  11. 11. K. NOUR, Strong storage operators and data types, Archive for Mathematical Logic, 1995 34, p. 65-78. [MR: 1326890] [Zbl: 0818.03004] [Google Scholar]
  12. 12. K. NOUR, Preuve syntaxique d'un théorème de J.-L. Krivine sur les opérateurs de mise en mémoire, C. R. Acad. Sci., 1994, 318, Série I, p. 201-204. [MR: 1262895] [Zbl: 0792.03010] [Google Scholar]
  13. 13. K. NOUR et R. DAVID, Storage operators and directed lambda-calculus, Journal of Symbolic Logic, 1995, 60, n° 4, p. 1054-1086. [MR: 1367196] [Zbl: 0852.03007] [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.