Pages that link to "Item:Q2802478"

The following pages link to Call-By-Push-Value from a Linear Logic Point of View (Q2802478):

Displayed 6 items.

• The bang calculus revisited (Q2039931) ‎ (← links)
• 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)
• (Q4611384) ‎ (← links)
• (Q5018484) ‎ (← links)
• The bang calculus revisited (Q6116183) ‎ (← links)