Confluence du lambda-Calcul
La relation de beta-réduction est localement confluente et confluente, mais ne termine pas (CE au théoreme de Newman)
| Qualité | Numéro | Titre |
|---|
Utilisateur : Devevey
Trop court ?'
Références :
The Lambda Calculus. Its Syntax and Semantics - Henk Barendregt