Communication Dans Un Congrès
Année : 2018
Pierre Clairambault : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01886965
Soumis le : mercredi 3 octobre 2018-14:17:09
Dernière modification le : jeudi 11 mai 2023-11:56:10
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⟩
Collections
102
Consultations
0
Téléchargements