Pages that link to "Item:Q2233405"

The following pages link to Factorization in call-by-name and call-by-value calculi via linear logic (Q2233405):

Displaying 3 items.

• Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus (Q2141293) (← links)
• Factorization in call-by-name and call-by-value calculi via linear logic (Q2233405) (← links)
• On reduction and normalization in the computational core (Q5879269) (← links)