Q5028447 (Q5028447): Difference between revisions

@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221960
@@ Property / cites work: Q3221960 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi
+Normal rank
@@ Property / cites work @@
+The geometry of parallelism: classical, probabilistic, and quantum effects
+Normal rank
@@ Property / cites work @@
+A higher-order characterization of probabilistic polynomial time
+Normal rank
@@ Property / cites work @@
+Probabilistic operational semantics for the lambda calculus
+Normal rank
@@ Property / cites work @@
+Probabilistic Recursion Theory and Implicit Computational Complexity
+Normal rank
@@ Property / cites work @@
+Probabilistic coherence spaces are fully abstract for probabilistic PCF
+Normal rank
@@ Property / cites work @@
+Probabilistic Termination
@@ Property / cites work: Probabilistic Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133135
@@ Property / cites work: Q4133135 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+A Convenient Category for Higher-Order Probability Theory
+Normal rank
@@ Property / cites work @@
+Q4222969
@@ Property / cites work: Q4222969 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Hardness of Almost–Sure Termination
@@ Property / cites work: On the Hardness of Almost–Sure Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4856179
@@ Property / cites work: Q4856179 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939994
@@ Property / cites work: Q4939994 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997653
@@ Property / cites work: Q3997653 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Vision
@@ Property / cites work: Computer Vision / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Turing Machines and Computability
@@ Property / cites work: Probabilistic Turing Machines and Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179849
@@ Property / cites work: Q4179849 / rank @@
+Normal rank
@@ Property / cites work @@
+The typed lambda-calculus is not elementary recursive
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank