On Randomised Strategies in the $λ$-Calculus - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

On Randomised Strategies in the $λ$-Calculus

Résumé

In this work we study randomised reduction strategies-a notion already known in the context of abstract reduction systems-for the λ-calculus. We develop a simple framework that allows us to prove a randomised strategy to be positive almost-surely normalising. Then we propose a simple example of randomised strategy for the λ-calculus that has such a property and we show why it is non-trivial with respect to classical deterministic strategies such as leftmost-outermost or rightmost-innermost. We conclude studying this strategy for the affine λ-calculus, where duplication is syntactically forbidden.
Fichier principal
Vignette du fichier
ictcs2018.pdf (751.79 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01926512 , version 1 (19-11-2018)

Identifiants

  • HAL Id : hal-01926512 , version 1

Citer

Ugo Dal Lago, Gabriele Vanoni. On Randomised Strategies in the $λ$-Calculus. 19th Italian Conference on Theoretical Computer Science, Sep 2018, Urbino, Italy. ⟨hal-01926512⟩
52 Consultations
112 Téléchargements

Partager

More