Pages that link to "Item:Q860883"
From MaRDI portal
The following pages link to Discrete Lawvere theories and computational effects (Q860883):
Displaying 15 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)
- (Q4585073) (← links)
- (Q5013826) (← links)
- Enriched Lawvere Theories for Operational Semantics (Q5020957) (← links)
- Quasivarieties and varieties of ordered algebras: regularity and exactness (Q5361148) (← links)
- Backtracking with cut via a distributive law and left-zero monoids (Q5372012) (← 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)
- Sum and tensor of quantitative effects (Q6635519) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6653755) (← links)
- Two guarded recursive powerdomains for applicative simulation (Q6653758) (← links)
