Pages that link to "Item:Q2949445"
From MaRDI portal
The following pages link to Step-Indexed Logical Relations for Probability (Q2949445):
Displaying 9 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)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
- Logical predicates in higher-order mathematical operational semantics (Q6629517) (← links)