The following pages link to (Q3138537):
Displaying 6 items.
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- Full abstraction for PCF (Q1854394) (← links)
- Projecting sequential algorithms on strongly stable functions (Q1919532) (← links)
- Game-theoretic analysis of call-by-value computation (Q1960532) (← links)
- Sequential algorithms and strongly stable functions (Q2570134) (← links)
- Game theoretic analysis of call-by-value computation (Q4571955) (← links)