Pages that link to "Item:Q2863882"
From MaRDI portal
The following pages link to Countable Lawvere theories and computational effects (Q2863882):
Displaying 11 items.
- Pseudo-distributive laws and axiomatics for variable binding (Q853747) (← links)
- Generic models for computational effects (Q860841) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- Graded algebraic theories (Q2200837) (← links)
- Dependent Types and Fibred Computational Effects (Q2811331) (← links)
- From comodels to coalgebras: state and arrays (Q2847820) (← links)
- Computational effects and operations: an overview (Q2851544) (← links)
- The category theoretic understanding of universal algebra: Lawvere theories and monads (Q2864158) (← links)
- The costructure–cosemantics adjunction for comodels for computational effects (Q5058362) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- Towards Effects in Mathematical Operational Semantics (Q5739352) (← links)