The following pages link to (Q4261086):
Displaying 8 items.
- Call-by-push-value: Decomposing call-by-value and call-by-name (Q857915) (← links)
- An equational notion of lifting monad (Q1398461) (← links)
- Restriction categories II: Partial map classification (Q1398462) (← links)
- Equilogical spaces and algebras for a double-power monad (Q1683371) (← links)
- On the call-by-value CPS transform and its semantics (Q1887170) (← links)
- Completeness of continuation models for \(\lambda_\mu\)-calculus (Q2506496) (← links)
- Gradual type theory (Q5019016) (← links)
- Representable Markov categories and comparison of statistical experiments in categorical probability (Q6039894) (← links)
