Recommendations
- Call-by-Value Is Dual to Call-by-Name, Extended
- Term Rewriting and Applications
- scientific article; zbMATH DE number 1086682
- scientific article; zbMATH DE number 1948183
- Call-by-push-value: Decomposing call-by-value and call-by-name
- scientific article; zbMATH DE number 1456965
- Call-by-Name and Call-by-Value in Normal Modal Logic
- Call-By-Value, Again!
- scientific article; zbMATH DE number 512793
- A reflection on call-by-value
Cited in
(37)- Classical \(F_{\omega}\), orthogonality and symmetric candidates
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\)
- Classical (co)recursion: Mechanics
- Intuitionistic Letcc via Labelled Deduction
- Strong normalization of classical natural deduction with disjunctions
- PML2: integrated program verification in ML
- CPS-translation as adjoint
- Galois connecting call-by-value and call-by-name
- Proofs, tests and continuation passing style
- Call-by-push-value: Decomposing call-by-value and call-by-name
- scientific article; zbMATH DE number 7243675 (Why is no real title available?)
- Abstracting models of strong normalization for classical calculi
- Call-by-Value Is Dual to Call-by-Name, Extended
- Call-by-name reduction and cut-elimination in classical logic
- A classical sequent calculus with dependent types
- Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
- Call-by-value combinatory logic and the lambda-value calculus
- Classical Logic with Mendler Induction
- Linear is CP (more or less)
- The duality of computation
- scientific article; zbMATH DE number 7713500 (Why is no real title available?)
- Categorical proof theory of classical propositional calculus
- Classical call-by-need and duality
- Investigations on the dual calculus
- Normalization in the simply typed -calculus
- scientific article; zbMATH DE number 7447733 (Why is no real title available?)
- Call-by-value and call-by-name dual calculi with inductive and coinductive types
- Focalisation and Classical Realisability
- Call-by-Name and Call-by-Value in Normal Modal Logic
- Dual Calculus with Inductive and Coinductive Types
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
- Term Rewriting and Applications
- On the unity of duality
- scientific article; zbMATH DE number 1948183 (Why is no real title available?)
- On the computational representation of classical logical connectives
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- scientific article; zbMATH DE number 7533346 (Why is no real title available?)
This page was built for publication: Call-by-value is dual to call-by-name
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261275)
