Résultats de complétude pour des classes de types du système
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1997)
- Volume: 31, Issue: 6, page 513-537
- ISSN: 0988-3754
Access Full Article
top
How to cite
topFarkh, Samir, and Nour, Karim. "Résultats de complétude pour des classes de types du système $\mathcal {AF}2$." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 31.6 (1997): 513-537. <http://eudml.org/doc/92576>.
@article{Farkh1997,
author = {Farkh, Samir, Nour, Karim},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = { type system},
language = {fre},
number = {6},
pages = {513-537},
publisher = {EDP-Sciences},
title = {Résultats de complétude pour des classes de types du système $\mathcal \{AF\}2$},
url = {http://eudml.org/doc/92576},
volume = {31},
year = {1997},
}
TY - JOUR
AU - Farkh, Samir
AU - Nour, Karim
TI - Résultats de complétude pour des classes de types du système $\mathcal {AF}2$
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1997
PB - EDP-Sciences
VL - 31
IS - 6
SP - 513
EP - 537
LA - fre
KW - type system
UR - http://eudml.org/doc/92576
ER -
References
top- 1. H. BARENDREGT, The Lambda Calculus, Its Syntax and Semantics, North Holland, 1984. Zbl0551.03007MR774952
- 2. J.-Y. GIRARD, Y. LAFONT et P. TAYLOR, Proofs and Types, Cambridge University Press, 1986. Zbl0671.68002MR1003608
- 3. J.-P. JOUANNAUD et C. KIRCHNER, Solving Equations in Abstract Algebras : A Rule-Based Survey of Unification, Technical Report, LRI, CNRS UA 410 : AL Khowarizmi, mars 1990. MR1132707
- 4. J.-L. KRIVINE, Lambda-calcul, types et modèles, Masson, Paris 1990. Zbl0697.03004MR1162977
- 5. J.-L. KRIVINE, Classical Logic, Storage Operators and Second Order Lambda-Calculs, Annals of Pure and Applied Logic, 1994, 68, p. 53-78. Zbl0814.03009MR1278549
- 6. J.-L. KRIVINE, Opérateurs de mise en mémoire et traduction de Gődel, Archive for Mathematical Logic, 1990, 30, p. 241-267. Zbl0712.03009MR1080590
- 7. R. LABIB-SAMI, Typer avec (ou sans) types auxilières, Manuscrit, 1986.
- 8. K. NOUR, Opérateurs de mise en mémoire en lambda-calcul pur et typé, Thèse de doctorat, Université de Savoie, 1993.
- 9. K. NOUR, Opérateurs de mise en mémoire et types ∀-positifs, Theoretical Informatics and Applications, 1996, 30, p. 261-293. Zbl0869.03009MR1415831
- 10. C. RAFFALLI, A Semantical Storage Operator Theorem for All Types, Annal. Pure Applied Logic (to appear). Zbl0899.03014MR1601614
NotesEmbed ?
topYou 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.