The following pages link to Call-by-value Solvability (Q4953339):
Displaying 16 items.
- Strong normalization from an unusual point of view (Q534700) (← links)
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- System \(T\), call-by-value and the minimum problem (Q1274979) (← links)
- Parametric parameter passing \(\lambda\)-calculus (Q1887148) (← links)
- Implementing open call-by-value (Q2093145) (← links)
- Call-by-Value Solvability, Revisited (Q2900255) (← links)
- Open Call-by-Value (Q3179293) (← links)
- (Q3300796) (← links)
- (Q4448358) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- (Q5101336) (← 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)