Sous-typage en pi-calculs


Jean-Marie Madiot, LIP, ENS Lyon. 22 novembre 2012 10:00 limd 2:00:00
Abstract:

Le système de types input/output induit du sous-typage dans le pi-calcul. De manière un peu surprenante, le sous-typage se prête mal à une adaptation à des calculs proches (le calcul des fusions, le pi-calcul à mobilité interne). On construit une modification du calcul des fusions dans laquelle le mécanisme du sous-typage s'applique, ce qui permet d'en éclairer certains aspects.