Author:
Crubillé Raphaëlle,Ehrhard Thomas,Pagani Michele,Tasson Christine
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Breuvart, F., Pagani, M.: Modelling coeffects in the relational semantics of linear logic. In: Kreutzer, S. (ed.) Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, CSL15, Berlin, Germany. LIPICS (2015)
2. Lecture Notes in Computer Science;A Carraro,2010
3. Danos, V., Ehrhard, T.: Probabilistic coherence spaces as a model of higher-order probabilistic computation. Inf. Comput. 209(6), 966–991 (2011)
4. Ehrhard, T., Pagani, M., Tasson, C.: Probabilistic coherence spaces are fully abstract for probabilistic PCF. In: Sewell, P. (ed.) The 41th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL14, San Diego, USA. ACM (2014)
5. Ehrhard, T., Tasson, C.: Probabilistic call by push value (2016). preprint http://arxiv.org/abs/1607.04690
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Element-free probability distributions and random partitions;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces;Information and Computation;2023-12
3. Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
4. Linear logic in normed cones: probabilistic coherence spaces and beyond;Mathematical Structures in Computer Science;2021-05
5. Cones as a model of intuitionistic linear logic;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08