Pages that link to "Item:Q4553284"
From MaRDI portal
The following pages link to Codensity Lifting of Monads and its Dual (Q4553284):
Displaying 9 items.
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Weakest preconditions in fibrations (Q2133463) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- (Q4499236) (← links)
- Weakest preconditions in fibrations (Q5058365) (← links)
- Lifting functors to Eilenberg-Moore category of monad generated by functor CpCp (Q5287290) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
- Proving behavioural apartness (Q6666778) (← links)