The following pages link to (Q4448358):
Displaying 16 items.
- Strong normalization from an unusual point of view (Q534700) (← links)
- System \(T\), call-by-value and the minimum problem (Q1274979) (← links)
- An analysis of Böhm's theorem (Q1314351) (← links)
- Game-theoretic analysis of call-by-value computation (Q1960532) (← links)
- An abstract machine for strong call by value (Q2038078) (← links)
- A relational account of call-by-value sequentiality (Q2506495) (← links)
- Open Call-by-Value (Q3179293) (← links)
- (Q3300796) (← links)
- (Q4038678) (← links)
- (Q4411826) (← links)
- (Q5076060) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- Head reduction and normalization in a call-by-value lambda-calculus (Q5240183) (← links)
- A Semantical and Operational Account of Call-by-Value Solvability (Q5410667) (← links)
- Strong call-by-value and multi types (Q6605354) (← links)
- Light genericity (Q6629516) (← links)