Pages that link to "Item:Q860883"
From MaRDI portal
The following pages link to Discrete Lawvere theories and computational effects (Q860883):
Displaying 7 items.
- Graded algebraic theories (Q2200837) (← links)
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (Q2864158) (← links)
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base (Q3638917) (← links)
- Tensors of Comodels and Models for Operational Semantics (Q5415644) (← links)
- Towards Effects in Mathematical Operational Semantics (Q5739352) (← links)
- Unguarded recursion on coinductive resumptions (Q5971399) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)
