Développement #687
Titre : Confluence du lambda-Calcul
Contenu : La relation de beta-réduction est localement confluente et confluente, mais ne termine pas (CE au théoreme de Newman)
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 929 | Lambda-calcul pur comme modèle de calcul. Exemples.2021 |