Advertisement

Une extension de la theorie des types en λ-calcul

  • Patrick Salle
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 62)

Keywords

Nous Montrons Expression Telles Leur Utilisation UNIVERSITE Paul SABATIER 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. 1.
    -H.P. BARENDREGT "Some extensional term models for combinatory logics and λ-calculi", Ph. D. Thesis, UTRECHT Univ., the Netherlands, 1971Google Scholar
  2. 2.
    -C. BOHM "The CUCH as a formal and description language" In Formal language, description languages for computer Programming, edited by T.B. Steel Jr.; pp 179–197, North Holland, Amsterdam 1966.Google Scholar
  3. 3.
    -C. BOHM, M. DEZANI-CIANCAGLINI "Lambda-terms as total or partial Function on Normal Forms, Lambda Calculus and Computer Science Theory". Lectures Notes in Computer Science, 37, (1975), Springer Verlag, 96–121.Google Scholar
  4. 4.
    -C. BOHM, M. DEZANI-CIANCAGLINI "Termination Test inside λ-calculus", to appear in: Automata languages and Programming, ed. A. Salomaa, Lecture Notes in Computer Science, Springer-Verlag.Google Scholar
  5. 5.
    -H.B. CURRY, JR. HINDLEY, J.P. SELDIN "Combinatory Logic", Vol. II, Asterdam, North Holland, (1972)Google Scholar
  6. 6.
    -M. COPPO, M. DEZANI-CIANCAGLINI "A new type Assignment for λ-terms, Rapport Interne, Université de Turin, (1976).Google Scholar
  7. 7.
    -M. COPPO, M. DEZANI-CIANCAGLINI "A generalized type theory for λ-calculus, Rapport Interne, Université de Turin, (1977)Google Scholar
  8. 8.
    -P. J. LANDIN "A correspondence between ALGOL-GO and CHURCH'S λ-notation", CACM, vol. 8, February and March 1965, pp 89–101, 158–165.Google Scholar
  9. 9.
    -J.H. MORRIS "Lambda Calculus Models of Programming Languages", Ph.D., M.I.T. 1968Google Scholar
  10. 10.
    -L. NOLIN "Les modèles informatiques des λ-Calculs", λ-Calculus and Computer Science Theory Proceedings of the Symposium held in Rome C. BOHM Ed, Springer Verlag, (1975), pp 166–176Google Scholar
  11. 11.
    -B. ROBINET "Contribution à l'étude des réalités informatiques" thèse Doctorat, no I.P. 74–9, Paris, (1974).Google Scholar
  12. 12.
    -L.E. SANCHIS "Types of Combinatory Logic" Notre Dame Journal of Formal logic (5) 1964 pp. 161–180Google Scholar
  13. 13.
    -P. SALLE "La notion de type en λ-calcul" Groupe Programmation et Languages AFCET, Bulletin no3, (1978).Google Scholar
  14. 14.
    -P. SALLE "Une théorie des types généralisée en λ-calcul" (à paraítre)Google Scholar
  15. 15.
    -C.P. WADSWORTH "The relation between Lambda expressions and their denotations in Scott's Models for the Calculus", Seminaire IRIA 1974.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Patrick Salle
    • 1
  1. 1.Laboratoire Langages et Systèmes Informatiques Equipe de Recherche Associée au CNRSUniversite Paul SabatierToulouse - Cedex

Personalised recommendations