Pages that link to "Item:Q2141293"

The following pages link to Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus (Q2141293):

Displaying 2 items.

• A tribute to José Manuel Valença (Q2168787) (← links)
• Galois connecting call-by-value and call-by-name (Q6151562) (← links)