Une généralisation de la théorie des types en λ-calcul (II)
Sallé, Patrick
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 14 (1980), p. 301-314 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1980-01-01
@article{ITA_1980__14_3_301_0,
     author = {Sall\'e, Patrick},
     title = {Une g\'en\'eralisation de la th\'eorie des types en $\lambda $-calcul (II)},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {14},
     year = {1980},
     pages = {301-314},
     mrnumber = {593492},
     zbl = {0461.03002},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1980__14_3_301_0}
}

Sallé, Patrick. Une généralisation de la théorie des types en $\lambda $-calcul (II). RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 14 (1980) pp. 301-314. http://gdmltest.u-ga.fr/item/ITA_1980__14_3_301_0/

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

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

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

4. C. Böhm et M. Dezani-Ciancaglini, Termination Test Inside λ-Calculus, Automata Languages and Programming, A. SOLOMA, éd., Lecture Notes in Computer Science, vol. 52, 1977, Springer-Verlag, Turku. | MR 465807

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

6. M. Coppo et M. Dezani-Ciancaglini, A Proposal for a New Type Assignment 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 Assignment for λ-Terms, in Archiv Für Math. Logik und Grundlageforshung, vol. 19, 1978, p. 1-17. | MR 539868 | Zbl 0418.03010

9. M. Coppo, M. Dezani Ciancaglini et P. Sallé, Functional Characterisation of Some Semantic Equalities Inside λ-Calculus, Automata Languages and Programming, E. MAURER, éd., Lecture Notes in Computer Science, 1979. | MR 573238 | Zbl 0411.03013

10. J. P. Landin, A Correspondence between ALGOL-60 and Church's λ-Notation, C.A.C.M., vol. 8, February and March 1965, p. 89-101 et 158-165. | Zbl 0134.33403

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

12. L. Nolin, Les modèles Informatiques des λ-calculs, λ-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, C. BÖHM, éd., Springer Verlag, 1975, p. 166-176. | Zbl 0354.02024

13. B. Robinet, Contribution à l'étude des réalités informatiques, Thèse Doctorat, n° I.P. 74-9, 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 ° l, 1977, p. 63-74. | Numdam | MR 483652 | Zbl 0354.68027

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 502167 | Zbl 0389.68015

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

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

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

19. P. Sallé, Une extension de la théorie des types en λ-calcul, Lecture Notes in Computer Science, vol. 62, 1978, Springer Verlag, p. 398-410. | MR 520856 | Zbl 0384.03008

20. P. Sallé et J. L. Durieux, L'échappement comme sémantique des structures de contrôle, Actes du Congrès A.F.C.E.T. T.T.I., Gif-sur-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.