Pages that link to "Item:Q5734774"
From MaRDI portal
The following pages link to The Mechanical Evaluation of Expressions (Q5734774):
Displaying 6 items.
- Computational interpretations of linear logic (Q685430) (← links)
- A concurrent lambda calculus with futures (Q860851) (← links)
- A first order logic of effects (Q1390955) (← links)
- Functions as processes (Q4017458) (← links)
- A new implementation technique for applicative languages (Q4167525) (← links)
- Call-by-value Solvability (Q4953339) (← links)
