L’étude de la terminaison du calcul λ Pw, 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é.


This document was translated from LATEX by HEVEA.