L’étude de la terminaison du calcul λ P_w, m’a conduit vers l’étude des λ-calculs avec substitution explicite. J’ai, en particulier, formulé [For] une preuve de terminaison du λ_{σ w}-calcul (λ_σ faible) par une extension de la méthode de la réductibilité.

• Publications

This document was translated from L^AT_EX by H^EV^EA.