The following pages link to Codensity liftings of monads (Q5275349):
Displaying 13 items.
- An equational notion of lifting monad (Q1398461) (← links)
- Approximate relational Hoare logic for continuous random samplings (Q1744393) (← links)
- A formula for codensity monads and density comonads (Q1794270) (← 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)
- (Q3615577) (← links)
- (Q4499236) (← 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)
- Lifting functors to Eilenberg-Moore category of monad generated by functor CpCp (Q5287290) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)