The Free Exponential Modality of Probabilistic Coherence Spaces (Q2988358): Difference between revisions

@@ Property / cites work @@
+Modelling Coeffects in the Relational Semantics of Linear Logic
+Normal rank
@@ Property / cites work @@
+Exponentials with Infinite Multiplicities
@@ Property / cites work: Exponentials with Infinite Multiplicities / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic coherence spaces as a model of higher-order probabilistic computation
+Normal rank
@@ Property / cites work @@
+Probabilistic coherence spaces are fully abstract for probabilistic PCF
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4650586
@@ Property / cites work: Q4650586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075441
@@ Property / cites work: Q3075441 / rank @@
+Normal rank
@@ Property / cites work @@
+An Explicit Formula for the Free Exponential Modality of Linear Logic
+Normal rank