Conference Papers
Year : 2018
Pierre Clairambault : Connect in order to contact the contributor
https://hal.science/hal-01886965
Submitted on : Wednesday, October 3, 2018-2:17:09 PM
Last modification on : Tuesday, November 12, 2024-3:20:06 PM
Cite
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
View
0
Download