Entiers intuitionnistes et entiers classiques en λ C -calcul

K. Nour

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

  • Volume: 29, Issue: 4, page 293-313
  • ISSN: 0988-3754

How to cite

top

Nour, K.. "Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 29.4 (1995): 293-313. <http://eudml.org/doc/92511>.

@article{Nour1995,
author = {Nour, K.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {operational characterization of classical integers},
language = {fre},
number = {4},
pages = {293-313},
publisher = {EDP-Sciences},
title = {Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul},
url = {http://eudml.org/doc/92511},
volume = {29},
year = {1995},
}

TY - JOUR
AU - Nour, K.
TI - Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1995
PB - EDP-Sciences
VL - 29
IS - 4
SP - 293
EP - 313
LA - fre
KW - operational characterization of classical integers
UR - http://eudml.org/doc/92511
ER -

References

top
  1. 1. J. L. KRIVINE, Lambda calcul, types et modèle, Masson, Paris, 1990. Zbl0697.03004MR1162977
  2. 2. J. L. KRIVINE, Classical logic, storage operators and second order lambda-calculus, à paraître dans Annals of pure and applied logic, 1994. Zbl0814.03009MR1278549
  3. 3. K. NOUR, Opérateurs de mise en mémoire en lambda-calcul pur et typé, Thèse de doctorat, Université de Savoie, 1993. 
  4. 4. K. NOUR, Opérateurs de mise en mémoire et types ∀-positifs, soumis à Informatique Théorique et Applications, 1993. 
  5. 5. K. NOUR, Quelques résultats sur λ C-calcul, C. R. Acad. Sci., Paris, t. 320, série I, 1995, p. 259-262. Zbl0830.03006MR1320367
  6. 6. M. PARIGOT, λμ-calculus: an algorithme interpretation of classical natural deduction. LNCS, 1992, 624, p. 190-201. Zbl0925.03092MR1235373

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.