The following pages link to Marc Lasson (Q283744):
Displaying 5 items.
- Strategies as concurrent processes (Q283745) (← links)
- Canonicity of weak \(\omega\)-groupoid laws using parametricity theory (Q283766) (← links)
- Realizability and Parametricity in Pure Type Systems (Q3000602) (← links)
- Controlling Program Extraction in Light Logics (Q3007661) (← links)
- (Q4649560) (← links)
