The following pages link to On the unity of duality (Q2482843):
Displaying 7 items.
- Delimited control operators prove double-negation shift (Q450950) (← links)
- Classical realizability in the CPS target language (Q1744381) (← links)
- The polarized \(\lambda\)-calculus (Q1744450) (← links)
- Game of grounds (Q2080589) (← links)
- Structural Focalization (Q2946730) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
- (Q5111331) (← links)
