Finite Develpments in the Lambda Calculus

Cours Année : 2021

A general version of Curry&Feys' Finite Developments theorem is connected to Strong Normalization in the lambda calculus. This offers another viewpoint about termination of lambda tersm. (Tutorial at ISR 2021 (12th International School on Rewriting), Madrid, 5-16 July 2021)

(1)

1

Jean-Jacques Levy

Informatique et langage [cs.CL]

Fichier principal

all.pdf (39.08 Mo)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-03566512

Soumis le : vendredi 11 février 2022-15:38:53

Dernière modification le : mardi 3 octobre 2023-17:18:04

Archivage à long terme le : jeudi 12 mai 2022-18:51:32

hal-03566512 , version 1 (11-02-2022)

Jean-Jacques Levy. Finite Develpments in the Lambda Calculus. Doctoral. Spain. 2021. ⟨hal-03566512⟩

CNRS INRIA INRIA2 UP-SCIENCES IRIF

37 Consultations

4 Téléchargements