Une généralisation de la théorie des types en λ -calcul

Patrick Sallé

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1980)

  • Volume: 14, Issue: 2, page 143-167
  • ISSN: 0988-3754

How to cite

top

Sallé, 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. 1. H. P. BARENDREGT, Some Extensional Term Models for Combinatory Logics and λ-calculi, Ph. D. Thesis, Utrecht University, 1971. 
  2. 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. 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. 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. 5. H. B. CURRY, J. R. HINDLEY et J. P. SELDIN, Combinatory Logic, Amsterdam, North Holland, vol. II 1972. Zbl0242.02029
  6. 6. M. COPPO et M. DEZANI-CIANCAGLINI, A proposal for a New Type Assigment for λ-terms, Rapport Interne, Université de Turin, 1976. 
  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 Assigment for λ-terms, in Archiv für Math. Logik und Grundlagenforschung, 19, 1978, p. 1-17. Zbl0418.03010MR539868
  9. 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. 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. 11. J. H. MORRIS, Lambda Calculus Models of Programming Languages, Ph. D. Thesis, M.I.T., 1968. 
  12. 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. 13. B. ROBINET, Contribution à l'étude des réalités informatiques Thèse de Doctorat, 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° 1, 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. SALLE, Types et étiquettes dans le λ-calcul (à paraître). 
  18. 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. 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. 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. 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 ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.