Pages that link to "Item:Q4553284"
From MaRDI portal
The following pages link to Codensity Lifting of Monads and its Dual (Q4553284):
Displaying 5 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)
- Weakest preconditions in fibrations (Q5058365) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)