Pages that link to "Item:Q860841"
From MaRDI portal
The following pages link to Generic models for computational effects (Q860841):
Displaying 7 items.
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (Q2864158) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)
- What is a Categorical Model of Arrows? (Q5166619) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)
