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.