Communication Dans Un Congrès Année : 2013

A characterization of the Taylor expansion of lambda-terms

Résumé

The Taylor expansion of lambda-terms, as introduced by Ehrhard and Regnier, expresses a lambda-term as a series of multi-linear terms, called simple terms, which capture bounded computations. Normal forms of Taylor expansions give a notion of infinitary normal forms, refining the notion of Böhm trees in a quantitative setting. We give the algebraic conditions over a set of normal simple terms which characterize the property of being the normal form of the Taylor expansion of a lambda-term. From this full completeness result, we give further conditions which semantically describe normalizable and total lambda-terms.

Fichier principal
Vignette du fichier
LIPIcs.CSL.2013.101.pdf (557.37 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Licence

Dates et versions

hal-04670289 , version 1 (12-08-2024)

Licence

Identifiants

Citer

Pierre Boudes, Fanny He, Michele Pagani. A characterization of the Taylor expansion of lambda-terms. 22nd EACSL Annual Conference Computer Science Logic (CSL 2013), EACSL, Sep 2013, Turin, Italy. pp.101-115, ⟨10.4230/LIPIcs.CSL.2013.101⟩. ⟨hal-04670289⟩
151 Consultations
146 Téléchargements

Altmetric

Partager

  • More