Finite Develpments in the Lambda Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Lectures Year : 2021

Finite Develpments in the Lambda Calculus

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)

Fichier principal
Vignette du fichier
all.pdf (39.08 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

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


  • HAL Id : hal-03566512 , version 1


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


Gmail Mastodon Facebook X LinkedIn More