Mixed logic and storage operators

Archive for Mathematical Logic

Volumn 39, Issue 4, 2000, Pages 261-280

  Nour, Karim ^a  

^a Institut Universitaire de France   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034382036     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530050147     Document Type: Article

References (16)

1. υ - CS conversion: a syntactic theory of control and state in imperative higher order programming. Ph. D. dissertation, Indiana University, 1987.
2. J-L. Krivine. Lambda-calcul, types et modèles. Masson, Paris 1990.
3. J-L. Krivine. Opérateurs de mise en mémoire et traduction de Gödel. Archiv for Mathematical Logic 30, 1990, pp. 241-267.
4. J-L. Krivine. Lambda-calcul, évaluation paresseuse et mise en mémoire. Thearetical Informatics and Applications. Vol. 25,1 p. 67-84 , 1991.
5. J-L. Krivine. Mise en mémoire (preuve générale). Manuscript, 1993.
6. J-L. Krivine. Classical logic, storage operators and 2nd order lambda-calculus. Ann. Pure and Applied Logic 68 (1994) p. 53-78.
7. J-L. Krivine. A general storage theorem for integers in call-by-name λ-calculus. Th. Comp. Sc. (to appear).
8. K. Nour. Opérateurs de mise en mémoire en lambda-calcul pur et typé. Thèse de Doctorat, Université de Chambéry, 1993.
9. K. Nour and R. David. Storage operators and directed λ-calculus. Journal of symbolic logic, vol 60, n 4, p. 1054-1086, 1995.
10. K. Nour. Une preuve syntaxique d'un Théorème de J.L. Krivine sur les opérateurs de mise en mémoire. C.R. Acad. Sci Paris, t. 318, Série I. p. 201-204, 1994.
11. K. Nour. Opérateurs de mise en mémoire et types ∀-positifs. Theoretical Informatics and Applications, vol 30, n 3, p. 261-293, 1996.
12. K. Nour. Entiers intuitionnistes et entiers classiques en λC-calcul. Theoretical Informatics and Applications, vol 29, n 4, p. 293-313, 1995.
13. K. Nour. Quelques résultats sur le λC-calcul. C.R. Acad. Sci Paris, t. 320, Série I, p. 259-262, 1995.
14. K. Nour. A general type for storage operators. Mathematical Logic Quarterly, 41 p. 505-514, 1995.
15. K. Nour. Caractérisation opérationnelle des entiers classiques en λC-calcul. C.R. Acad. Sci Paris, t. 320, Série I, p. 1431-1434, 1995.
16. M. Parigot. Classical proofs as programs. Lecture Notes in Computer Science, Springer Verlag 713, pp. 263-276, 1992.