Pages that link to "Item:Q4917064"

The following pages link to Semantics for Algebraic Operations (Q4917064):

Displaying 21 items.

• Monad transformers as monoid transformers (Q615955) (← links)
• About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
• Generic models for computational effects (Q860841) (← links)
• Modular structural operational semantics (Q1878712) (← links)
• Complete axiomatization for the total variation distance of Markov chains (Q2130580) (← links)
• Weakest preconditions in fibrations (Q2133463) (← links)
• A divertimento on MonadPlus and nondeterminism (Q2374316) (← links)
• Lawvere theories enriched over a general base (Q2378550) (← links)
• Combining effects: sum and tensor (Q2500483) (← links)
• Dependent Types and Fibred Computational Effects (Q2811331) (← links)
• Comonadic Notions of Computation (Q2873672) (← links)
• Relating Computational Effects by ⊤ ⊤-Lifting (Q3012918) (← links)
• A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
• (Q4558787) (← links)
• Models for the computational λ-calculus (Q4923379) (← links)
• Runners in Action (Q5041086) (← links)
• Weakest preconditions in fibrations (Q5058365) (← links)
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
• Finitary monads on the category of posets (Q5068206) (← links)
• Doo bee doo bee doo (Q5110934) (← links)
• Unguarded recursion on coinductive resumptions (Q5971399) (← links)