Pages that link to "Item:Q2892724"
From MaRDI portal
The following pages link to The Call-by-Need Lambda Calculus, Revisited (Q2892724):
Displayed 7 items.
- Transparent quantification into hyperintensional objectual attitudes (Q514087) (← links)
- The spirit of node replication (Q2233421) (← links)
- On the value of variables (Q2401632) (← links)
- Classical By-Need (Q2802497) (← links)
- Reasoning About Call-by-need by Means of Types (Q2811356) (← links)
- A strong call-by-need calculus (Q6135746) (← links)
- Node Replication: Theory And Practice (Q6192004) (← links)