un lambda calcul intuitioniste avec exceptions
La thèse décrit un lambda calcul typé étendu par un traitement des exceptions. Ses principales propriétés sont : confluence, forte normalisation, conservation du type (dans une forme parallélisée de réduction). Seuls les termes équivalents aux entiers de Church ont le type entier. La comparaison ave...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1999
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00093187 http://tel.archives-ouvertes.fr/docs/00/09/31/87/PDF/mounierBis.pdf |