Pages that link to "Item:Q860841"
From MaRDI portal
The following pages link to Generic models for computational effects (Q860841):
Displaying 13 items.
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- Cartesian effect categories are Freyd-categories (Q631572) (← links)
- Modelling environments in call-by-value programming languages. (Q1427853) (← links)
- Algebraic operations and generic effects (Q1811033) (← 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)
- (Q4986663) (← links)
- What is a Categorical Model of Arrows? (Q5166619) (← links)
- Foundations of Software Science and Computation Structures (Q5308467) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6653755) (← links)