Une preuve simple de résultats classiques en lambda-calcul
David, René
HAL, hal-00384995 / Harvested from HAL
Text on HAL
Nous donnons une preuve simple de 3 théorèmes " de base " du lambda calcul pur : le théorème de Church - Rosser, le théorème de standardisation et le théorème des développements finis. Nous donnons également une généralisation - dans le lambda calcul pur - du théorème des développements finis qui a comme corollaire immédiat le théorème de normalisation forte dans le système de types simples avec intersection .
Publié le : 1995-01-18
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO],  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] 
@article{hal-00384995,
     author = {David, Ren\'e},
     title = {Une preuve simple de r\'esultats classiques en lambda-calcul},
     journal = {HAL},
     volume = {1995},
     number = {0},
     year = {1995},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/hal-00384995}
}

David, René. Une preuve simple de résultats classiques en lambda-calcul. HAL, Tome 1995 (1995) no. 0, . http://gdmltest.u-ga.fr/item/hal-00384995/