To: seminaire-gallium-moscova@inria.fr From: Francois.Pottier@inria.fr Subject: SEM - INRIA : Gallium - 19/10/09 - Paris - FR Vous pouvez vous abonner à nos annonces de séminaires http://pauillac.inria.fr/seminaires/ S E M I N A I R E __ / _` _ / / o /| /| __ __ __ __ _ _ / ) __) / / / / / /\/| ----- / |/ | / )(_ / / ) ) ) __) (___/ (_/ (_ (_ / (__/ / | / | (__/ __)(_ (__/ (_/ (_/ I N R I A - Rocquencourt Amphi Turing du bâtiment 1 Lundi 19 octobre, 10h30 -------------- Thomas Ehrhard -------------- CNRS, laboratoire PPS ================================================ Logique linéaire et lambda-calcul différentiels: formule de Taylor et concurrence ================================================ La logique linéaire différentielle (DiLL) est une extension de la logique linéaire dans laquelle les exponentielles acquièrent une symétrie similaire à celle des connecteurs multiplicatifs. Du point de vue du lambda-calcul, cette extension consiste à ajouter la possibilité de calculer les dérivées itérées d'un lambda-terme. Elle donne un point de vue nouveau sur le lambda-calcul avec ressources de Gérard Boudol, et permet de développer les lambda-termes au moyen d'une sorte de "formule de Taylor" qui a des liens avec la machine de Krivine. Enfin, DiLL semble ouvrir la voie pour une extension du paradigme de Curry-Howard à la programmation concurrente.