Pages that link to "Item:Q2949445"
From MaRDI portal
The following pages link to Step-Indexed Logical Relations for Probability (Q2949445):
Displaying 7 items.
- Effectful applicative similarity for call-by-name lambda calculi (Q1989333) (← links)
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Metric Reasoning About $$\lambda $$-Terms: The General Case (Q2988646) (← links)
- Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring (Q2988648) (← links)
- (Q5002829) (← links)
- On the Versatility of Open Logical Relations (Q5041087) (← links)
- Program equivalence in a typed probabilistic call-by-need functional language (Q6052951) (← links)