On Equivalences, Metrics, and Polynomial Time (Q2947890): Difference between revisions

@@ Property / OpenAlex ID @@
+W2277937096
@@ Property / OpenAlex ID: W2277937096 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03710
@@ Property / arXiv ID: 1506.03710 / rank @@
+Normal rank
@@ Property / cites work @@
+On Equivalences, Metrics, and Polynomial Time
@@ Property / cites work: On Equivalences, Metrics, and Polynomial Time / rank @@
+Normal rank
@@ Property / cites work @@
+On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi
+Normal rank
@@ Property / cites work @@
+On coinductive equivalences for higher-order probabilistic functional programs
+Normal rank
@@ Property / cites work @@
+A Higher-Order Characterization of Probabilistic Polynomial Time
+Normal rank
@@ Property / cites work @@
+Probabilistic Recursion Theory and Implicit Computational Complexity
+Normal rank
@@ Property / cites work @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Cryptography
@@ Property / cites work: Foundations of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Q4258568
@@ Property / cites work: Q4258568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218937
@@ Property / cites work: Q4218937 / rank @@
+Normal rank
@@ Property / cites work @@
+Safe recursion with higher types and BCK-algebra
@@ Property / cites work: Safe recursion with higher types and BCK-algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+A Calculus for Game-Based Security Proofs
@@ Property / cites work: A Calculus for Game-Based Security Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+The computational SLR: a logic for reasoning about computational indistinguishability
+Normal rank