Pages that link to "Item:Q2719799"
From MaRDI portal
The following pages link to Control categories and duality: on the categorical semantics of the lambda-mu calculus (Q2719799):
Displaying 40 items.
- Realizability for Peano arithmetic with winning conditions in HON games (Q345704) (← links)
- Cartesian effect categories are Freyd-categories (Q631572) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- Call-by-push-value: Decomposing call-by-value and call-by-name (Q857915) (← links)
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- Continuation semantics for the Lambek-Grishin calculus (Q964491) (← links)
- CPS-translation as adjoint (Q1044830) (← links)
- Classical realizability in the CPS target language (Q1744381) (← links)
- Classical natural deduction for S4 modal logic (Q1758660) (← links)
- Game semantics and linear CPS interpretation (Q1770417) (← links)
- An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus. (Q1853149) (← links)
- Polarized proof-nets and \(\lambda \mu\)-calculus (Q1853586) (← links)
- Polarized games (Q1886321) (← links)
- On the call-by-value CPS transform and its semantics (Q1887170) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
- Second-order type isomorphisms through game semantics (Q2474443) (← links)
- Classical \(F_{\omega}\), orthogonality and symmetric candidates (Q2482840) (← links)
- On the unity of duality (Q2482843) (← links)
- Investigations on the dual calculus (Q2503329) (← links)
- Syntax vs. semantics: A polarized approach (Q2570132) (← links)
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
- Adjunction Models For Call-By-Push-Value With Stacks (Q2842825) (← links)
- Classical Call-by-Need and Duality (Q3007655) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
- Call-by-Value Is Dual to Call-by-Name, Extended (Q3498450) (← links)
- Dual Calculus with Inductive and Coinductive Types (Q3636828) (← links)
- (Q4957792) (← links)
- Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus (Q4982059) (← links)
- (Q5111320) (← links)
- A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- (Q5208874) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- Relational Parametricity for Control Considered as a Computational Effect (Q5262944) (← links)
- On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- Galois connecting call-by-value and call-by-name (Q6151562) (← links)