Pages that link to "Item:Q2038078"

The following pages link to An abstract machine for strong call by value (Q2038078):

Displaying 4 items.

• A strong call-by-need calculus (Q6135746) (← links)
• Strong call-by-value and multi types (Q6605354) (← links)
• Reasonable space for the \(\lambda \)-calculus, logarithmically (Q6649482) (← links)
• Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)