The following pages link to (Q4600771):
Displaying 10 items.
- Call-by-Value Solvability, Revisited (Q2900255) (← links)
- (Q3300796) (← links)
- (Q4499189) (← links)
- (Q5076060) (← links)
- Head reduction and normalization in a call-by-value lambda-calculus (Q5240183) (← links)
- Standardization of a Call-By-Value Lambda-Calculus (Q5277841) (← links)
- On reduction and normalization in the computational core (Q5879269) (← links)
- Factorization and normalization, essentially (Q6536313) (← links)
- Strong call-by-value and multi types (Q6605354) (← links)
- Light genericity (Q6629516) (← links)