Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring (Q2988648): Difference between revisions

@@ Property / describes a project that uses @@
+Hakaru
@@ Property / describes a project that uses: Hakaru / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Church
@@ Property / describes a project that uses: Church / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-54434-1_14
+Normal rank
@@ Property / OpenAlex ID @@
+W2597297629
@@ Property / OpenAlex ID: W2597297629 / rank @@
+Normal rank
@@ Property / cites work @@
+Step-Indexed Logical Relations for Probability
@@ Property / cites work: Step-Indexed Logical Relations for Probability / rank @@
+Normal rank
@@ Property / cites work @@
+Measure Transformer Semantics for Bayesian Machine Learning
+Normal rank
@@ Property / cites work @@
+A lambda-calculus foundation for universal probabilistic programming
+Normal rank
@@ Property / cites work @@
+Integration in Real PCF
@@ Property / cites work: Integration in Real PCF / rank @@
+Normal rank
@@ Property / cites work @@
+PCF extended with real numbers
@@ Property / cites work: PCF extended with real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages
+Normal rank
@@ Property / cites work @@
+Q2716066
@@ Property / cites work: Q2716066 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Inference by Program Transformation in Hakaru (System Description)
+Normal rank
@@ Property / cites work @@
+Stochastic lambda calculus and monads of probability distributions
+Normal rank
@@ Property / cites work @@
+Environmental bisimulations for probabilistic higher-order languages
+Normal rank
@@ Property / cites work @@
+Semantics for probabilistic programming
@@ Property / cites work: Semantics for probabilistic programming / rank @@
+Normal rank