X: un langage de communication Pierre Lescanne Dans cet exposé, je voudrais présenter un langage baptisé X, qui se fonde essentiellement sur le concept de connexion; les entités de base y sont les "plugs" et les "sockets". Dans X, conçu en collaboration avec Steffen van Bakel et Stéphane Lengrand, on explique comme simplifier des expressions décrivant de connexions, ainsi que beaucoup d'autres choses. Derrière X, se cachent Curry et Howard que j'essaierai de démasquer.