Développement : Confluence du lambda-Calcul [no pdf, no ref]

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 2019 :

Autres années :

Versions :

Pas de version pour ce développement.