Pages that link to "Item:Q1917084"

The following pages link to A symmetric lambda calculus for classical program extraction (Q1917084):

Displaying 25 items.

• Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
• Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
• Search algorithms in type theory (Q1575934) (← links)
• Semantics for dual and symmetric combinatory calculi (Q1826434) (← links)
• Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230) (← links)
• Classical \(F_{\omega}\), orthogonality and symmetric candidates (Q2482840) (← links)
• Investigations on the dual calculus (Q2503329) (← links)
• Specifying Peirce's law in classical realizability (Q2973242) (← links)
• A Classical Sequent Calculus with Dependent Types (Q2988668) (← links)
• Intersection Types for the Resource Control Lambda Calculi (Q3105748) (← links)
• (Q3384900) (← links)
• Call-by-Value Is Dual to Call-by-Name, Extended (Q3498450) (← links)
• Computation with classical sequents (Q3520146) (← links)
• Dual Calculus with Inductive and Coinductive Types (Q3636828) (← links)
• Social processes, program verification and all that (Q3643359) (← links)
• A new deconstructive logic: linear logic (Q4372906) (← links)
• An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus (Q4580321) (← links)
• 2002–2003 Winter Meeting of the Association for Symbolic Logic (Q4650300) (← links)
• 2002 Annual Conference of the Australasian Association for Logic (Q4650308) (← links)
• (Q4957786) (← links)
• (Q5140267) (← links)
• Classical Logic with Mendler Induction (Q5283417) (← links)
• Classical realizability and arithmetical formulæ (Q5360216) (← links)
• On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)
• The Church-Rosser property in symmetric combinatory logic (Q5718674) (← links)