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 : mardi 12 novembre 2024-15:20:06
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
106
Consultations
0
Téléchargements