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

Raphaëlle Crubillé 1 Ugo Dal Lago 2, 3
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : 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.
Type de document :
Communication dans un congrès
23rd European Symposium on Programming, Apr 2014, Grenoble, France. 2014, 〈10.1007/978-3-642-54833-8_12〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01091564
Contributeur : Ugo Dal Lago <>
Soumis le : vendredi 5 décembre 2014 - 16:12:38
Dernière modification le : samedi 27 janvier 2018 - 01:31:25
Document(s) archivé(s) le : lundi 9 mars 2015 - 06:04:33

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de la notice

116

Téléchargements de fichiers

111