Traduction d'un pi-calcul finitaire et polyadique dans les réseaux d'interaction différentiels


Thomas Ehrhard, . 6 juillet 2007 15:00 limd 2:00:00
Abstract:

On présentera (il s'agit d'un travail commun avec Olivier Laurent) une version "pure" (au sens du lambda-calcul "pur") des réseaux d'interaction différentiels avec connecteurs multiplicatifs et exponentiels, et on donnera une traduction dans ces réseaux du pi-calcul privé - de la somme - de la récursion - de la réplication - du match et du mismatch On verra que cette traduction respecte, en un certain sens, la dynamique du pi-calcul.