On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014

On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi

Résumé

Probabilistic applicative bisimulation is a recently introduced coinductive methodology for program equivalence in a probabilistic, higher-order, setting. In this paper, the technique is applied to a typed, call-by-value, lambda-calculus. Surprisingly, the obtained relation coincides with context equivalence, contrary to what happens when call-by-name evaluation is considered. Even more surprisingly, full-abstraction only holds in a symmetric setting.
Fichier principal
Vignette du fichier
main.pdf (443.62 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01091564 , version 1 (05-12-2014)

Identifiants

Citer

Raphaëlle Crubillé, Ugo Dal Lago. On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. 23rd European Symposium on Programming, Apr 2014, Grenoble, France. ⟨10.1007/978-3-642-54833-8_12⟩. ⟨hal-01091564⟩
196 Consultations
218 Téléchargements

Altmetric

Partager

More