Pages that link to "Item:Q5170803"

The following pages link to Process Types as a Descriptive Tool for Interaction (Q5170803):

Displaying 3 items.

• A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus (Q2200839) (← links)
• Dualized Simple Type Theory (Q2974773) (← links)
• Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)