Point-fixe sur un ensemble restreint
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) no. 4, pp. 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},
     pages = {383--394},
     publisher = {AFCET - Gauthier-Villars},
     address = {Paris},
     volume = {20},
     number = {4},
     year = {1986},
     mrnumber = {880842},
     zbl = {0642.03009},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1986__20_4_383_0/}
}
TY  - JOUR
AU  - Lieu, Choun Tong
TI  - Point-fixe sur un ensemble restreint
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1986
SP  - 383
EP  - 394
VL  - 20
IS  - 4
PB  - AFCET - Gauthier-Villars
PP  - Paris
UR  - http://www.numdam.org/item/ITA_1986__20_4_383_0/
LA  - fr
ID  - ITA_1986__20_4_383_0
ER  - 
%0 Journal Article
%A Lieu, Choun Tong
%T Point-fixe sur un ensemble restreint
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1986
%P 383-394
%V 20
%N 4
%I AFCET - Gauthier-Villars
%C Paris
%U http://www.numdam.org/item/ITA_1986__20_4_383_0/
%G fr
%F 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, Tome 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 | Zbl

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 | MR

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

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