Pages that link to "Item:Q974114"

The following pages link to An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114):

Displaying 7 items.

• Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
• Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
• A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus (Q2988382) (← links)
• Conflation Confers Concurrency (Q3188279) (← links)
• The true concurrency of differential interaction nets (Q4577982) (← links)
• Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
• (Q5018487) (← links)