Subsitutions explicites, logique et normalisation
Les substitutions explicites ont été introduites comme un raffinement du lambda-calcul, celui-ci étant le<br />formalisme utilisé pour étudier la sémantique des langages de programmation. L'objet de cette thèse<br />est l'étude de leurs propriétés de normalisation forte et de p...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paris-Diderot - Paris VII
2004
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00007962 http://tel.archives-ouvertes.fr/docs/00/04/75/43/PDF/tel-00007962.pdf |