The following pages link to (Q5275349):
Displayed 8 items.
- Approximate relational Hoare logic for continuous random samplings (Q1744393) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- Deriving logical relations from interpretations of predicate logic (Q2133176) (← links)
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)