Tracking Redexes in the Lambda Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year :

Tracking Redexes in the Lambda Calculus

Abstract

Residuals of redexes keep track of redexes along reductions in the lambda calculus. Families of redexes keep track of redexes created along these reductions. In this paper, we review these notions and their relation to a labeled-calculus introduced here in a systematic way. These properties may be extended to combinatory logic, term rewriting systems, process calculi and proofnets of linear logic.
Fichier principal
Vignette du fichier
trackredex.pdf (2.55 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03564707 , version 1 (10-02-2022)

Identifiers

  • HAL Id : hal-03564707 , version 1

Cite

Jean-Jacques Levy. Tracking Redexes in the Lambda Calculus. 2022. ⟨hal-03564707⟩
49 View
23 Download

Share

Gmail Facebook Twitter LinkedIn More