Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage
Cette thèse concerne la combinaison du lambda-calcul et de la réécriture, dont nous étudions principalement deux propriétés : la confluence et la normalisation forte. Nous commençons par étudier sous quelles conditions la combinaison d'une relation de réécriture conditionnelle confluente au lam...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2007
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2007INPL102N/document |