Pages that link to "Item:Q1870494"
From MaRDI portal
The following pages link to Axioms for recursion in call-by-value (Q1870494):
Displayed 4 items.
- Combining algebraic effects with continuations (Q879352) (← links)
- On the call-by-value CPS transform and its semantics (Q1887170) (← links)
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- Relating Computational Effects by ⊤ ⊤-Lifting (Q3012918) (← links)