A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces (Q6145528): Difference between revisions

@@ Property / cites work @@
+Probability theory. Translated from the German by Robert B. Burckel
+Normal rank
@@ Property / cites work @@
+A lambda-calculus foundation for universal probabilistic programming
+Normal rank
@@ Property / cites work @@
+Measure Transformer Semantics for Bayesian Machine Learning
+Normal rank
@@ Property / cites work @@
+Exponential spaces and counting processes
@@ Property / cites work: Exponential spaces and counting processes / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Stable Functions on Discrete Cones are Power Series
+Normal rank
@@ Property / cites work @@
+The Free Exponential Modality of Probabilistic Coherence Spaces
+Normal rank
@@ Property / cites work @@
+Probabilistic coherence spaces as a model of higher-order probabilistic computation
+Normal rank
@@ Property / cites work @@
+Q5019656
@@ Property / cites work: Q5019656 / rank @@
+Normal rank
@@ Property / cites work @@
+On Köthe sequence spaces and linear logic
@@ Property / cites work: On Köthe sequence spaces and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness spaces
@@ Property / cites work: Finiteness spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Cones as a model of intuitionistic linear logic
@@ Property / cites work: Cones as a model of intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Full Abstraction for Probabilistic PCF
@@ Property / cites work: Full Abstraction for Probabilistic PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4265489
@@ Property / cites work: Q4265489 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204146
@@ Property / cites work: Q4204146 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherent Banach spaces: A continuous denotational semantics
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique decomposition categories, Geometry of Interaction and combinatory logic
+Normal rank
@@ Property / cites work @@
+Geometry of Interaction for MALL via Hughes--Van Glabbeek Proof-Nets
+Normal rank
@@ Property / cites work @@
+Glueing and orthogonality for models of linear logic
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Relational Models of Typed Lambda-Calculi
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+Bayesian strategies: probabilistic programs as generalised graphical models
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040434
@@ Property / cites work: Q4040434 / rank @@
+Normal rank
@@ Property / cites work @@
+Commutative Semantics for Probabilistic Programming
+Normal rank
@@ Property / cites work @@
+Semantics for probabilistic programming
@@ Property / cites work: Semantics for probabilistic programming / rank @@
+Normal rank