The concurrent game semantics of Probabilistic PCF - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Dates et versions

hal-01886965 , version 1 (03-10-2018)

Identifiants

Citer

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. ⟨10.1145/3209108.3209187⟩. ⟨hal-01886965⟩
82 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More