Pages that link to "Item:Q3163882"
From MaRDI portal
The following pages link to The Duality of Computation under Focus (Q3163882):
Displaying 11 items.
- Classical realizability in the CPS target language (Q1744381) (← links)
- Abstracting models of strong normalization for classical calculi (Q2291828) (← links)
- Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
- On the Meaning of Focalization (Q3080087) (← links)
- From Focalization of Logic to the Logic of Focalization (Q3178251) (← links)
- Open Call-by-Value (Q3179293) (← links)
- Focalisation and Classical Realisability (Q3644763) (← links)
- Non-linearity as the Metric Completion of Linearity (Q5300890) (← links)
- Call-by-name extensionality and confluence (Q5372008) (← links)
- Monadic translation of classical sequent calculus (Q5410235) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)