Pages that link to "Item:Q2464725"

The following pages link to A proof-theoretic foundation of abortive continuations (Q2464725):

Displaying 10 items.

• A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
• A Context-based Approach to Proving Termination of Evaluation (Q2805157) (← links)
• Classical Call-by-Need and Duality (Q3007655) (← links)
• Verificationism and Classical Realizability (Q3305313) (← links)
• Control reduction theories: the benefit of structural substitution (Q3503192) (← links)
• (Q4957787) (← links)
• (Q5079752) (← links)
• (Q5377471) (← links)
• Adding Negation to Lambda Mu (Q6135761) (← links)