Opérateurs de mise en mémoire et types ∀-positifs

Theoretical Informatics and Applications

Volumn 30, Issue 3, 1996, Pages 261-293

  Nour, Karim ^a  

^a UNIVERSITÉ DE SAVOIE   (France)

Author keywords

Classical logic; G del transformation; G del translation; Intuitionistic logic; Storage operator; positive type

Indexed keywords

GOEDEL TRANLATION; GOEDEL TRANSFORMATION; INTUITIONISTIC LOGIC; LAMBDA CALCULUS;

COMPUTATION THEORY;

EID: 0030376884     PISSN: 09883754     EISSN: 28047346     Source Type: Journal    
DOI: 10.1051/ita/1996300302611     Document Type: Article

References (13)

1. H. BARENDREGT, The lambda calculus: Its Syntax and Semantics, North Holland, 1984.
2. J. Y. GIRARD, Y. LAFONI et P. TAYLOR, Proofs and Types, Cambridge University Press, 1986.
3. P. GIANNINI et S. RONCHI DELLA ROCCA, Characterization of Typing in polymorphic type discipline. LICS, Edinbourg, 1988, p. 61-70.
4. J.-L. KRIVINE, Lambda calcul, évaluation paresseuse et mise en mémoire, Informatique Théorique et Application, 1991, 25, 1, p. 67-84.
5. J.-L. KRIVINE, Lambda calcul, Types et modèle, Masson, Paris, 1990.
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.
7. J.-L. KRIVINE, Mise en mémoire (preuve générale). Manuscrit, 1991.
8. R. LABIB-SAMI, Typer avec (ou sans) types auxilières, Manuscrit, 1986.
9. K. NOUR, Opérateurs de mise en mémoire en lambda-calcul pur et typé, Thèse de doctorat, Université de Savoie, 1993.
10. K. NOUR, Opérateurs propres de mise en mémoire, C. R. Acad. Sci., 1993, 317, Série I, p. 1-6
11. K. NOUR, Strong storage operators and data types, Archive for Mathematical Logic, 1995, 34, p. 65-78.
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.
13. K. NOUR et R. DAVID, Storage operators and directed lambda-calculus, Journal of Symbolic Logic, 1995, 60, no 4, p. 1054-1086.