The concurrent game semantics of Probabilistic PCF

Type de document :
Communication dans un congrès
the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), Jul 2018, Oxford, France. ACM Press, 〈10.1145/3209108.3209187〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01886965
Contributeur : Pierre Clairambault <>
Soumis le : mercredi 3 octobre 2018 - 14:17:09
Dernière modification le : vendredi 5 octobre 2018 - 01:16:32

Lien texte intégral

Identifiants

Citation

Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel. The concurrent game semantics of Probabilistic PCF. the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), Jul 2018, Oxford, France. ACM Press, 〈10.1145/3209108.3209187〉. 〈hal-01886965〉

Partager

Métriques

Consultations de la notice

12