Time: 11:00am - 12:00pm Venue: EECS Computer Science Building Queen Mary, University of London Mile End London UK E1 4NS
Abstract: 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.