Une généralisation de la théorie des types en -calcul
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1980)
- Volume: 14, Issue: 2, page 143-167
- ISSN: 0988-3754
Access Full Article
topHow to cite
topSallé, Patrick. "Une généralisation de la théorie des types en $\lambda $-calcul." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 14.2 (1980): 143-167. <http://eudml.org/doc/92121>.
@article{Sallé1980,
author = {Sallé, Patrick},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {type-theory; lambda calculus},
language = {fre},
number = {2},
pages = {143-167},
publisher = {EDP-Sciences},
title = {Une généralisation de la théorie des types en $\lambda $-calcul},
url = {http://eudml.org/doc/92121},
volume = {14},
year = {1980},
}
TY - JOUR
AU - Sallé, Patrick
TI - Une généralisation de la théorie des types en $\lambda $-calcul
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1980
PB - EDP-Sciences
VL - 14
IS - 2
SP - 143
EP - 167
LA - fre
KW - type-theory; lambda calculus
UR - http://eudml.org/doc/92121
ER -
References
top- 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. Zbl0342.02017MR485296
- 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. Zbl0358.02025MR465807
- 5. H. B. CURRY, J. R. HINDLEY et J. P. SELDIN, Combinatory Logic, Amsterdam, North Holland, vol. II 1972. Zbl0242.02029
- 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. Zbl0358.02025
- 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. Zbl0418.03010MR539868
- 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. Zbl0411.03013MR573238
- 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. Zbl0134.33403
- 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. Zbl0354.02024
- 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. Zbl0354.68027MR483652
- 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. L. E. SANCHIS, Types of Combinatory Logic, Notre-Dame Journal of Formal Logic, (5), 1964, p. 161-180. Zbl0158.24704MR205849
- 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. Zbl0384.03008MR520856
- 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.
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.