Pages that link to "Item:Q5018775"

The following pages link to Not by equations alone: Reasoning with extensible effects (Q5018775):

Displaying 1 item.

• Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)