Pages that link to "Item:Q5261275"
From MaRDI portal
The following pages link to Call-by-value is dual to call-by-name (Q5261275):
Displaying 29 items.
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
- Call-by-push-value: Decomposing call-by-value and call-by-name (Q857915) (← links)
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- CPS-translation as adjoint (Q1044830) (← links)
- Abstracting models of strong normalization for classical calculi (Q2291828) (← links)
- Classical \(F_{\omega}\), orthogonality and symmetric candidates (Q2482840) (← links)
- Strong normalization of classical natural deduction with disjunctions (Q2482841) (← links)
- Call-by-name reduction and cut-elimination in classical logic (Q2482842) (← links)
- On the unity of duality (Q2482843) (← links)
- Investigations on the dual calculus (Q2503329) (← links)
- On the computational representation of classical logical connectives (Q2864215) (← links)
- A Classical Sequent Calculus with Dependent Types (Q2988668) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
- (Q3384877) (← links)
- Call-by-Value Is Dual to Call-by-Name, Extended (Q3498450) (← links)
- Dual Calculus with Inductive and Coinductive Types (Q3636828) (← links)
- Focalisation and Classical Realisability (Q3644763) (← links)
- Intuitionistic Letcc via Labelled Deduction (Q4982116) (← links)
- (Q5079745) (← links)
- (Q5119393) (← links)
- Classical Logic with Mendler Induction (Q5283417) (← links)
- Term Rewriting and Applications (Q5703848) (← links)
- Normalization in the simply typed -calculus (Q5889885) (← links)
- (Q6060675) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Classical (co)recursion: Mechanics (Q6132720) (← links)
- Galois connecting call-by-value and call-by-name (Q6151562) (← links)
- Call-by-value combinatory logic and the lambda-value calculus (Q6171751) (← links)
