Pages that link to "Item:Q3189795"

The following pages link to A complete, co-inductive syntactic theory of sequential control and state (Q3189795):

Displaying 2 items.

• Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus (Q283739) (← links)
• On the observational theory of the CPS-calculus (Q968276) (← links)