Duality in pi-calculus

Jean-Marie Madiot

The pi-calculus is not symmetric with respect to the switching between
inputs and outputs. Symmetric variants exist (internal mobility,
fusion calculi) but fail to be compatible with subtyping. We analyse
the problem of integrating symmetries and subtyping, present a
symmetric calculus with subtyping and use it to analyse existing
encodings of the lambda-calculus. Time permitting, we shall also
discuss about variations of fusion calculi.