On Higher-Order Probabilistic Subrecursion (Q2988381): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2613426697
@@ Property / OpenAlex ID: W2613426697 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+On Higher-Order Probabilistic Subrecursion
@@ Property / cites work: On Higher-Order Probabilistic Subrecursion / rank @@
+Normal rank
@@ Property / cites work @@
+On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi
+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 @@
+Computational Complexity of Probabilistic Turing Machines
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+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 @@
+Q4939994
@@ Property / cites work: Q4939994 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+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 @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+The typed lambda-calculus is not elementary recursive
+Normal rank
@@ Property / cites work @@
+Semantics for probabilistic programming
@@ Property / cites work: Semantics for probabilistic programming / rank @@
+Normal rank