Une généralisation de la théorie des types en $\lambda$-calcul (II)

 Access to full text

 Full (PDF)

1. 1. H. P. BARENDREGT, Some Extensional Term Models for Combinatory Logics and λ-calculi, Ph. D. thesis, Utrecht University, the Netherlands, 1971. 
2. 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. 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. Zbl0342.02017MR485296
4. 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. Zbl0358.02025MR465807
5. 5. H. B. CURRY, J. R. HINDLEY et J. P. SELDIN, Combinatory Logic, vol. 2, 1972, Amsterdam, North Holland. Zbl0242.02029
6. 6. M. COPPO et M. DEZANI-CIANCAGLINI, A Proposal for a New Type Assignment for λ-Terms, Rapport Interne, Université de Turin, 1976. Zbl0418.03010
7. 7. M. COPPO et M. DEZANI-CIANCAGLINI, A Generalized Type Theory for λ-Calculus, Rapport Interne, Université de Turin, 1977. Zbl0358.02025
8. 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. Zbl0418.03010MR539868
9. 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. Zbl0411.03013MR573238
10. 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. Zbl0134.33403
11. 11. J. H. MORRIS, Lambda Calculus Models of Programming Languages, Ph. D., M.I.T., 1968. 
12. 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. Zbl0354.02024
13. 13. B. ROBINET, Contribution à l'étude des réalités informatiques, Thèse Doctorat, n° I.P. 74-9, Paris, 1974. 
14. 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. Zbl0354.68027MR483652
15. 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. Zbl0389.68015MR502167
16. 16. L. E. SANCHIS, Types of Combinatory Logic, Notre Dame Journal of Formal Logic, (5), 1964, p. 161-180. Zbl0158.24704MR205849
17. 17. P. SALLÉ, Types et étiquettes dans le λ-calcul (à paraître). 
18. 18. P. SALLÉ, La notion de types en λ-calcul, Groupe Programmation et Languages A.F.C.E.T., Bulletin n° 3, 1978. 
19. 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. Zbl0384.03008MR520856
20. 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. 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.