×

zbMATH — the first resource for mathematics

Une généralisation de la théorie des types en lambda-calcul. II. (French) Zbl 0461.03002
MSC:
03B40 Combinatory logic and lambda calculus
03B15 Higher-order logic; type theory (MSC2010)
Software:
ALGOL 60
PDF BibTeX XML Cite
Full Text: EuDML
References:
[1] 1. H. P. BARENDREGT, Some Extensional Term Models for Combinatory Logics and \lambda -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.02017 MR485296 · Zbl 0342.02017
[4] 4. C. BÖHM et M. DEZANI-CIANCAGLINI, Termination Test Inside \lambda -Calculus, Automata Languages and Programming, A. SOLOMA, éd., Lecture Notes in Computer Science, vol. 52, 1977, Springer-Verlag, Turku. MR465807 · Zbl 0358.02025
[5] 5. H. B. CURRY, J. R. HINDLEY et J. P. SELDIN, Combinatory Logic, vol. 2, 1972, Amsterdam, North Holland. Zbl0242.02029 · Zbl 0242.02029
[6] 6. M. COPPO et M. DEZANI-CIANCAGLINI, A Proposal for a New Type Assignment for \lambda -Terms, Rapport Interne, Université de Turin, 1976. · Zbl 0418.03010
[7] 7. M. COPPO et M. DEZANI-CIANCAGLINI, A Generalized Type Theory for \lambda -Calculus, Rapport Interne, Université de Turin, 1977. · Zbl 0364.02016
[8] 8. M. COPPO et M. DEZANI-CIANCAGLINI, A New Type Assignment for \lambda -Terms, in Archiv Für Math. Logik und Grundlageforshung, vol. 19, 1978, p. 1-17. Zbl0418.03010 MR539868 · Zbl 0418.03010
[9] 9. M. COPPO, M. DEZANI CIANCAGLINI et P. SALLÉ, Functional Characterisation of Some Semantic Equalities Inside \lambda -Calculus, Automata Languages and Programming, E. MAURER, éd., Lecture Notes in Computer Science, 1979. Zbl0411.03013 MR573238 · Zbl 0411.03013
[10] 10. J. P. LANDIN, A Correspondence between ALGOL-60 and Church’s \lambda -Notation, C.A.C.M., vol. 8, February and March 1965, p. 89-101 et 158-165. Zbl0134.33403 · Zbl 0134.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 \lambda -calculs, \lambda -Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, C. BÖHM, éd., Springer Verlag, 1975, p. 166-176. Zbl0354.02024 · Zbl 0354.02024
[13] 13. B. ROBINET, Contribution à l’étude des réalités informatiques, Thèse Doctorat, n^\circ 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 ^\circ l, 1977, p. 63-74. Zbl0354.68027 MR483652 · Zbl 0354.68027
[15] 15. B. ROBINET, Un modèle fonctionnel des structures de contrôle, R.A.I.R.O. Informatique théorique, vol. 11, n^\circ 3, 1977, p. 213-236. Zbl0389.68015 MR502167 · Zbl 0389.68015
[16] 16. L. E. SANCHIS, Types of Combinatory Logic, Notre Dame Journal of Formal Logic, (5), 1964, p. 161-180. Zbl0158.24704 MR205849 · Zbl 0158.24704
[17] 17. P. SALLÉ, Types et étiquettes dans le \lambda -calcul (à paraître).
[18] 18. P. SALLÉ, La notion de types en \lambda -calcul, Groupe Programmation et Languages A.F.C.E.T., Bulletin n^\circ 3, 1978.
[19] 19. P. SALLÉ, Une extension de la théorie des types en \lambda -calcul, Lecture Notes in Computer Science, vol. 62, 1978, Springer Verlag, p. 398-410. Zbl0384.03008 MR520856 · Zbl 0384.03008
[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 \lambda -Calculus, Séminaire I.R.I.A., 1974.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.