Pages that link to "Item:Q890376"
From MaRDI portal
The following pages link to Generic weakest precondition semantics from monads enriched with order (Q890376):
Displaying 14 items.
- Steps and traces (Q1798791) (← links)
- Quantitative logics for equivalence of effectful programs (Q2133179) (← links)
- Weakest preconditions in fibrations (Q2133463) (← links)
- Combining algebraic effect descriptions using the tensor of complete lattices (Q2133480) (← links)
- Graded algebraic theories (Q2200837) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- (Q5020616) (← links)
- Weakest preconditions in fibrations (Q5058365) (← links)
- (Q5742881) (← links)
- Healthiness conditions for predicate transformers (Q5971403) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
