The following pages link to (Q4992391):
Displaying 6 items.
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- Proof nets and the linear substitution calculus (Q1623116) (← links)
- A formal equational theory for call-by-push-value (Q1791198) (← links)
- On the value of variables (Q2401632) (← links)
- (Q4038678) (← links)
- Call-by-Value -calculus and LJQ (Q5441124) (← links)