Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle

C. Berline

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

  • Volume: 26, Issue: 1, page 59-91
  • ISSN: 0988-3754

How to cite

top

Berline, C.. "Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 26.1 (1992): 59-91. <http://eudml.org/doc/92409>.

@article{Berline1992,
author = {Berline, C.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {models of calculus; universal retractions; Scott domain; polymorphism},
language = {fre},
number = {1},
pages = {59-91},
publisher = {EDP-Sciences},
title = {Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle},
url = {http://eudml.org/doc/92409},
volume = {26},
year = {1992},
}

TY - JOUR
AU - Berline, C.
TI - Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1992
PB - EDP-Sciences
VL - 26
IS - 1
SP - 59
EP - 91
LA - fre
KW - models of calculus; universal retractions; Scott domain; polymorphism
UR - http://eudml.org/doc/92409
ER -

References

top
  1. 1. R. AMADIO, K. BRUCE et G. LONGO, The Finitary Projection Model for 2nd Order λ-Calculus, IEEE Conference on Logic in Computer science, Boston, juin 1986. 
  2. 2. R. AMADIO et G. LONGO, Type-Free Compiling of Parametric Types, Formal Description of Programming Concepts III, M. WIRSING éd., Elsevier Science Publishers, I.F.I.P., 1987, p. 337-398. 
  3. 3. H. BARENDREGT, The λ-Calculus, its Syntax and Semantics, revised edition, North Holland, 1984. Zbl0551.03007MR774952
  4. 4. S. BERARDI, Retractions on dI-Domains as a Model for Type: Type, Inform. and Comput., 1991, 94, p. 204-231. Zbl0728.68036MR1127533
  5. 5. G. BERRY, Modèles complètement adéquats et stables des λ-calculs typés, Thèse d'État, Université Paris-VII, 1979. 
  6. 6. J. Y. GIRARD, The System F of Variable Types Fifteen Years Later, Theoret. Comput. Sci., 1986, 45, p. 159-192. Zbl0623.03013MR867281
  7. 7. J. L. KRIVINE, λ-Calcul: Types et Modèles, Masson, Paris, 1990. Zbl0697.03004MR1162977
  8. 8. N. MCCRACKEN, An Investigation of a Programming Language with a Polymorphic Type Structure, Ph. D. Thesis, Syracuse University, 1979. 
  9. 9. N. MCCRACKEN, A Finitary Retract Model for the Polymorphic λ-Calculus, 1984, unpublished. 
  10. 10. D. SCOTT, Data Types as Lattices, S.I.A.M. J. Comput., 1976, 5, p. 522-587. Zbl0337.02018MR437330
  11. 11. D. SCOTT, A Space of Retracts, manuscript, 1980. 

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.