Metric Reasoning About $$\lambda $$-Terms: The General Case (Q2988646): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q3077958
@@ Property / cites work: Q3077958 / 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 @@
+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 @@
+Metric reasoning about &amp;#x003BB;-terms: The affine case
@@ Property / cites work: Metric reasoning about λ-terms: The affine case / rank @@
+Normal rank
@@ Property / cites work @@
+Metric Reasoning About $$\lambda $$-Terms: The General Case
+Normal rank
@@ Property / cites work @@
+On Applicative Similarity, Sequentiality, and Full Abstraction
+Normal rank
@@ Property / cites work @@
+On coinductive equivalences for higher-order probabilistic functional programs
+Normal rank
@@ Property / cites work @@
+Probabilistic operational semantics for the lambda calculus
+Normal rank
@@ Property / cites work @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic coherence spaces are fully abstract for probabilistic PCF
+Normal rank
@@ Property / cites work @@
+Compositional Metric Reasoning with Probabilistic Process Calculi
+Normal rank
@@ Property / cites work @@
+SOS specifications of probabilistic systems by uniformly continuous operators
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic encryption
@@ Property / cites work: Probabilistic encryption / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939994
@@ Property / cites work: Q4939994 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997653
@@ Property / cites work: Q3997653 / rank @@
+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 @@
+Q4179849
@@ Property / cites work: Q4179849 / rank @@
+Normal rank
@@ Property / cites work @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Environmental bisimulations for probabilistic higher-order languages
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to metric semantics: Operational and denotational models for programming and specification languages
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank