Pages that link to "Item:Q283739"

The following pages link to Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus (Q283739):

Displaying 2 items.

• (Q5377471) (← links)
• Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines (Q6597953) (← links)