Point-fixe sur un ensemble restreint
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 20 (1986) no. 4, p. 383-394
@article{ITA_1986__20_4_383_0,
     author = {Lieu, Choun Tong},
     title = {Point-fixe sur un ensemble restreint},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     publisher = {EDP-Sciences},
     volume = {20},
     number = {4},
     year = {1986},
     pages = {383-394},
     zbl = {0642.03009},
     mrnumber = {880842},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1986__20_4_383_0}
}
Lieu, Choun Tong. Point-fixe sur un ensemble restreint. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 20 (1986) no. 4, pp. 383-394. http://www.numdam.org/item/ITA_1986__20_4_383_0/

1. H. P. Barendregt, The Lambda Calculus, Its Syntax and Semantics. Studies in Logic and Foundations of Mathematics, vol. 103, North-Holland Publishing Compagny. | MR 774952 | Zbl 0467.03010

2. P. Bellot, Propriétés logico-combinatoires desSystèmes de programmation sans variables, Thèse de 3e cycle, Paris-VI, L.I.T.P., 84-30, 1984.

3. A. Berarducci, Programmazione Funzionale e Rappresentabilità inalcuni Sistemi di Logica Combinatoria, Tesi di laurea in Matematica, Roma, 1983.

4. C. Boehm, Modèle arithmétique de la Logique Combinatoire, Lambda-Calcul et sémantique formelle des langages de programmation, L.I.T.P.-E.N.S.T.A., 1979, p. 97, 108

5. A. Church, The Calculi of Lambda conversion, Annals of Math. Studies, 6, Princeton University Press, 1941. | JFM 67.0041.01 | MR 5274

6. H. B. Curry, Combinatory Logic, vol. I, North Holland, Amsterdam, 1958. | MR 94298 | Zbl 0081.24104

7. C.T. Lieu, Étude d'une Extension Combinatoire des Entiers naturels. Application à la Programmation fonctionnelle. Thèse de 3e cycle, Paris-VI, L.I.T.P., 84-27, 1984.

8. M. Mezghiche, Intertraduction entre le Lambea-Calcul et la Logique Combinatoire, Thèse de 3e cycle, Paris-VII, L.I.T.P., 83-25, 1983.

9. A. M. Turing, The p-functions in λ-K-conversion, J. Symbolic Logic, vol. 2, 1937, p. 164. | JFM 63.0825.01