Lambda-calcul, évaluation paresseuse et mise en mémoire

Jean-Louis Krivine

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

  • Volume: 25, Issue: 1, page 67-84
  • ISSN: 0988-3754

How to cite

top

Krivine, Jean-Louis. "Lambda-calcul, évaluation paresseuse et mise en mémoire." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 25.1 (1991): 67-84. <http://eudml.org/doc/92382>.

@article{Krivine1991,
author = {Krivine, Jean-Louis},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = { -calculus; lazy evaluation; storage operators},
language = {fre},
number = {1},
pages = {67-84},
publisher = {EDP-Sciences},
title = {Lambda-calcul, évaluation paresseuse et mise en mémoire},
url = {http://eudml.org/doc/92382},
volume = {25},
year = {1991},
}

TY - JOUR
AU - Krivine, Jean-Louis
TI - Lambda-calcul, évaluation paresseuse et mise en mémoire
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1991
PB - EDP-Sciences
VL - 25
IS - 1
SP - 67
EP - 84
LA - fre
KW - -calculus; lazy evaluation; storage operators
UR - http://eudml.org/doc/92382
ER -

References

top
  1. 1. H. P. BARENDREGT, The lambda calculus, North Holland, 1984. Zbl0551.03007MR774952
  2. 2. J. Y. GIRARD, Une extension de l'interprétation de Gödel à l'analyse, et son application à l'élimination des coupures, Proc. 2nd Scand. Logic Symp., 1970, North Holland, p. 63-92. Zbl0221.02013MR409133
  3. 3. J. L. KRIVINE, Lambda-calcul typé, Masson, 1990. MR1162977
  4. 4. J. L. KRIVINE et M. PARIGOT, Programming with proofs, 6th Symp.. Comp. Theory 87, J. Inf. Process. Cybern., 3, 1990, p. 149-157. Zbl0699.68020MR1056588
  5. 5. D. LEIVANT, Reasoning about Functional Programs and Complexity Classes Associated with Type Disciplines, 24th Symp. on Found. of Comp. Sci., 1983, p. 460-469. 
  6. 6. M. PARIGOT, Programming with Proofs: a Second Order Type Theory, Proc. ESOP'88, Lect. Notes in Comp. Sci., 300, p. 145-159. 
  7. 7. J. L. KRIVINE, Opérateurs de mise en mémoire et traduction de Gödel, Archiv for math. Logic (à paraître). Zbl0712.03009MR1080590

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.