Search

• < Previous
• 1
• Next >

Acyclic Solos and Differential Interaction Nets

We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that equalizing names that are already equal is not required by the encoding of the pi-calculus. In particular, the induced&nbsp;[&hellip;]