Pages that link to "Item:Q4240152"

The following pages link to Classical logic, continuation semantics and abstract machines (Q4240152):

Displaying 34 items.

• Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
• A functional interpretation for nonstandard arithmetic (Q714729) (← links)
• Call-by-push-value: Decomposing call-by-value and call-by-name (Q857915) (← links)
• CPS-translation as adjoint (Q1044830) (← links)
• Classical realizability in the CPS target language (Q1744381) (← links)
• Game semantics and linear CPS interpretation (Q1770417) (← links)
• An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus. (Q1853149) (← links)
• Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230) (← links)
• Limiting partial combinatory algebras (Q1884934) (← links)
• The differential \(\lambda \mu\)-calculus (Q2373711) (← links)
• The next 700 Krivine machines (Q2464721) (← links)
• On the correctness of the Krivine machine (Q2464724) (← links)
• A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
• Infinite trace equivalence (Q2474445) (← links)
• On the unity of duality (Q2482843) (← links)
• Completeness of continuation models for \(\lambda_\mu\)-calculus (Q2506496) (← links)
• Domain-free \(\lambda\mu\)-calculus (Q2729625) (← links)
• Classical By-Need (Q2802497) (← links)
• A third-order representation of the \(\lambda\mu\)-calculus (Q2841236) (← links)
• Adjunction models for call-by-push-value with stacks (Q2842825) (← links)
• A Filter Model for the λμ-Calculus (Q3007668) (← links)
• Continuation Models for the Lambda Calculus With Constructors (Q3178293) (← links)
• Classical BI: Its Semantics and Proof Theory (Q3575307) (← links)
• (Q4813223) (← links)
• Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus (Q4982059) (← links)
• (Q5018485) (← links)
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
• (Q5208904) (← links)
• Relational Parametricity for Control Considered as a Computational Effect (Q5262944) (← links)
• The approximation theorem for the Λμ-calculus (Q5268997) (← links)
• Krivine's classical realisability from a categorical perspective (Q5410238) (← links)
• Logic Based Program Synthesis and Transformation (Q5713938) (← links)
• Adding Negation to Lambda Mu (Q6135761) (← links)
• A first-order completeness result about characteristic Boolean algebras in classical realizability (Q6649488) (← links)