Pages that link to "Item:Q3637192"
From MaRDI portal
The following pages link to An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form (Q3637192):
Displaying 7 items.
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- Abstracting models of strong normalization for classical calculi (Q2291828) (← links)
- Classical Call-by-Need and Duality (Q3007655) (← links)
- Open Call-by-Value (Q3179293) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- Head reduction and normalization in a call-by-value lambda-calculus (Q5240183) (← links)
- On reduction and normalization in the computational core (Q5879269) (← links)
