Pages that link to "Item:Q5271068"

The following pages link to Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing (Q5271068):

Displaying 5 items.

• Spinal atomic \(\lambda\)-calculus (Q2200851) (← links)
• The spirit of node replication (Q2233421) (← links)
• Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
• Node Replication: Theory And Practice (Q6192004) (← links)
• A strong bisimulation for a classical term calculus (Q6563051) (← links)