Pages that link to "Item:Q4910417"
From MaRDI portal
The following pages link to Preorders on Monads and Coalgebraic Simulations (Q4910417):
Displayed 4 items.
- Identifying all preorders on the subdistribution monad (Q283773) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)