Axioms for recursion in call-by-value
From MaRDI portal
Publication:1870494
DOI10.1023/A:1020895213317zbMath1030.68012OpenAlexW2098632234MaRDI QIDQ1870494
Yoshihiko Kakutani, Masahito Hasegawa
Publication date: 14 May 2003
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1020895213317
Related Items (4)
On the call-by-value CPS transform and its semantics ⋮ Combining algebraic effects with continuations ⋮ Relating Computational Effects by ⊤ ⊤-Lifting ⋮ Order-enriched categorical models of the classical sequent calculus
This page was built for publication: Axioms for recursion in call-by-value
