Pages that link to "Item:Q4240152"
From MaRDI portal
The following pages link to Classical logic, continuation semantics and abstract machines (Q4240152):
Displayed 19 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)
- 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<i>λµ</i>-Calculus (Q2729625) (← links)
- A Third-Order Representation of the λμ-Calculus (Q2841236) (← links)
- Adjunction Models For Call-By-Push-Value With Stacks (Q2842825) (← links)
- A Filter Model for the λμ-Calculus (Q3007668) (← links)