Pages that link to "Item:Q3644763"
From MaRDI portal
The following pages link to Focalisation and Classical Realisability (Q3644763):
Displaying 10 items.
- Preface to the special volume (Q534064) (← links)
- Abstracting models of strong normalization for classical calculi (Q2291828) (← links)
- Quantitative classical realizability (Q2343127) (← links)
- A Classical Realizability Model for a Semantical Value Restriction (Q2802494) (← links)
- On the Meaning of Focalization (Q3080087) (← links)
- From Focalization of Logic to the Logic of Focalization (Q3178251) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
- (Q5119393) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)
