Pages that link to "Item:Q897928"
From MaRDI portal
The following pages link to Proof nets and the call-by-value \(\lambda\)-calculus (Q897928):
Displayed 8 items.
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- Open Call-by-Value (Q3179293) (← links)
- (Q5018484) (← links)
- (Q5021229) (← links)
- (Q5076060) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- On reduction and normalization in the computational core (Q5879269) (← links)
- Quantitative global memory (Q6199577) (← links)