Pages that link to "Item:Q3503192"
From MaRDI portal
The following pages link to Control reduction theories: the benefit of structural substitution (Q3503192):
Displaying 5 items.
- A type-theoretic foundation of delimited continuations (Q968364) (← links)
- Classical Call-by-Need and Duality (Q3007655) (← links)
- An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form (Q3637192) (← links)
- (Q4957790) (← links)
- Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines (Q6597953) (← links)