Une généralisation de la théorie des types en λ-calcul
RAIRO. Informatique théorique, Tome 14 (1980) no. 2, pp. 143-167. 
@article{ITA_1980__14_2_143_0,
     author = {Sall\'e, Patrick},
     title = {Une g\'en\'eralisation de la th\'eorie des types en $\lambda $-calcul},
     journal = {RAIRO. Informatique th\'eorique},
     pages = {143--167},
     publisher = {EDP-Sciences},
     volume = {14},
     number = {2},
     year = {1980},
     mrnumber = {581674},
     zbl = {0446.03010},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1980__14_2_143_0/}
}
TY  - JOUR
AU  - Sallé, Patrick
TI  - Une généralisation de la théorie des types en $\lambda $-calcul
JO  - RAIRO. Informatique théorique
PY  - 1980
SP  - 143
EP  - 167
VL  - 14
IS  - 2
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1980__14_2_143_0/
LA  - fr
ID  - ITA_1980__14_2_143_0
ER  - 
%0 Journal Article
%A Sallé, Patrick
%T Une généralisation de la théorie des types en $\lambda $-calcul
%J RAIRO. Informatique théorique
%D 1980
%P 143-167
%V 14
%N 2
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1980__14_2_143_0/
%G fr
%F ITA_1980__14_2_143_0
Sallé, Patrick. Une généralisation de la théorie des types en $\lambda $-calcul. RAIRO. Informatique théorique, Tome 14 (1980) no. 2, pp. 143-167. http://www.numdam.org/item/ITA_1980__14_2_143_0/

1. H. P. Barendregt, Some Extensional Term Models for Combinatory Logics and λ-calculi, Ph. D. Thesis, Utrecht University, 1971.

2.C. Böhm, The CUCH as a Formal and Description Language, in Formal Language, Description Languages for Computer Programming, T. B. STEELE, Jr, éd., 1966, p. 179-197, North Holland, Amsterdam.

3. C. Böhm et M. Dezani-Ciancaglini, Lambda-Terms as Total or Partial Function on Normal Forms, in Lambda Calculus and Computer Science Theory, C. BÖHM, éd., Lecture Notes in Computer Science n° 37, 1975, p. 96-121, Springer-Verlag. | MR | Zbl

4. C. Böhm et M. Dezani-Ciancaglini, Termination Test Inside λ-Calculus, Automata Languages and Programming, (ICALP'77) A. SALOMAS, éd., Lecture Notes in Computer Science, n° 52, 1977, p. 95-110, Springer-Verlag. | MR | Zbl

5.H. B. Curry, J. R. Hindley et J. P. Seldin, Combinatory Logic, Amsterdam, North Holland, vol. II 1972. | Zbl

6.M. Coppo et M. Dezani-Ciancaglini, A proposal for a New Type Assigment for λ-terms, Rapport Interne, Université de Turin, 1976.

7. M. Coppo et M. Dezani-Ciancaglini, A Generalized Type Theory for λ-calculus, Rapport Interne, Université de Turin, 1977.

8. M. Coppo et M. Dezani-Ciancaglini, A New Type Assigment for λ-terms, in Archiv für Math. Logik und Grundlagenforschung, 19, 1978, p. 1-17. | MR | Zbl

9. M. Coppo, M. Dezani-Ciancaglini et P. Salle, Functional Characterisation of Some Semantic Equalities Inside λ-Calculus, Automata Languages and Programming, (ICALP'79), E. MAURER, éd. Lecture Notes in Computer Science n° 71, 1979, p. 133-146, Springer-Verlag. | MR | Zbl

10. J. P. Landin, A Correspondence Between Algol-60 and Church's λ-notation, C.A.C.M., vol. 8, 1965, p. 89-101 et 158-165. | Zbl

11. J. H. Morris, Lambda Calculus Models of Programming Languages, Ph. D. Thesis, M.I.T., 1968.

12. L. Nolin, Les modèles informatiques des λ-Calculs in λ-Calculus and Computer Science Theory, C. BÖHM, éd., Lecture Notes in Computer Science, n° 37, Springer-Verlag, 1975, p. 166-176. | Zbl

13. B. Robinet, Contribution à l'étude des réalités informatiques Thèse de Doctorat, Paris, 1974.

14. B. Robinet et F. Nozick, Sémantique des structures de contrôle, R.A.I.R.O. Informatique théorique, vol. 11, n° 1, 1977, p. 63-74. | Numdam | MR | Zbl

15. B. Robinet, Un modèle fonctionnel des structures de contrôle, R.A.I.R.O. Informatique théorique, vol. 11, n° 3, 1977, p. 213-236. | Numdam | MR | Zbl

16. L. E. Sanchis, Types of Combinatory Logic, Notre-Dame Journal of Formal Logic, (5), 1964, p. 161-180. | MR | Zbl

17. P. Salle, Types et étiquettes dans le λ-calcul (à paraître).

18. P. Salle, La notion de types en λ-calcul, Groupe Programmation et Languages A.F.C.E.T., Bulletin n° 3, 1978 p. 61-77.

19. P. Salle, Une extension de la théorie des types en λ-calcul, in Automata, Languages and Programming (ICALP'78), Lecture Notes in Computer Science, n° 62, 1978, p. 398-410, Springer-Verlag. | MR | Zbl

20. P. Salle et J. L. Durieux, L'échappement comme sémantique des structures de contrôle, Actes du Congrès A.F.C.E.T. TTI, Gif/Yvette, novembre 1978, p. 77-87.

21. C. P. Wadsworth, The Relation Between Lambda Expressions and Their Denotations in Scott's Models for the λ-Calculus, Séminaire I.R.I.A., 1974.