Pages that link to "Item:Q890376"

The following pages link to Generic weakest precondition semantics from monads enriched with order (Q890376):

Displayed 13 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)