Pages that link to "Item:Q2828300"
From MaRDI portal
The following pages link to Environmental bisimulations for probabilistic higher-order languages (Q2828300):
Displaying 10 items.
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- Decomposing probabilistic lambda calculi (Q2200818) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← 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)
- (Q5111636) (← links)
- (Q5129945) (← links)
- (Q5155671) (← links)
- (Towards a) statistical probabilistic lazy lambda calculus (Q6612804) (← links)
