Développement : Confluence du lambda-Calcul

Détails/Enoncé :

La relation de beta-réduction est localement confluente et confluente, mais ne termine pas (CE au théoreme de Newman)

Recasages pour l'année 2024 :

  • Pas de recasages pour cette année.

Versions :

Références utilisées dans les versions de ce développement :

The Lambda Calculus. Its Syntax and Semantics, Henk Barendregt (utilisée dans 3 versions au total)