Probabilistic operational semantics for the lambda calculus (Q2905328): Difference between revisions

@@ Property / OpenAlex ID @@
+W1499878068
@@ Property / OpenAlex ID: W1499878068 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0195
@@ Property / arXiv ID: 1104.0195 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Randomized Algorithms in Coq
@@ Property / cites work: Proofs of Randomized Algorithms in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic operational semantics for the lambda calculus
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+CPS transformation of beta-redexes
@@ Property / cites work: CPS transformation of beta-redexes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic extensions of untyped \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Probabilistic  -calculus and Quantitative Program Analysis
+Normal rank
@@ Property / cites work @@
+Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive big-step operational semantics
@@ Property / cites work: Coinductive big-step operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic language based upon sampling functions
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic lambda calculus and monads of probability distributions
+Normal rank
@@ Property / cites work @@
+Elements of Stream Calculus
@@ Property / cites work: Elements of Stream Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+A lambda calculus for quantum computation with classical control
+Normal rank