Propriétés de sécurité dans le lambda-calcul.
Nous examinons les propriétés de sécurité du lambda-calcul au travers du prisme du lambda-calcul étiqueté. Les étiquettes expriment dynamiquement la dépendance des termes présents vis-à-vis des réductions passées. Nous montrons que le lambda-calcul étiqueté vérifie la propriété d'irréversibilit...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Ecole Polytechnique X
2006
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00002090 http://pastel.archives-ouvertes.fr/docs/00/50/35/44/PDF/Blanc.pdf |