Logique et Interactions

• Benoît Valiron - Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi - 28/03/2014 - 14h00 - 15h00
• Benedikt Ahrens - Category theory in the Univalent Foundations - 18/03/2014 - 11h00 - 12h00
• Giuseppe Greco - Proof theory for dynamic logics - 10/02/2014 - 14h00 - 15h00
• Paolo Pistone - Une analyse philosophique et quelques résultats sur le typage - 06/02/2014 - 14h00 - 15h00
• Pierre Boudes - Espaces cohérents dans un cadre quantitatif - 30/01/2014 - 14h00 - 15h00
• Jean-Baptiste Midez - La réduction dans le λ-calcul avec ressources - 23/01/2014 - 14h00 - 15h00
• Alberto Carraro - Semantical analysis of λ-calculus by (Differential) Linear Logic - 16/01/2014 - 11h00 - 11h30
• Lionel Rieg - L'interprétation calculatoire du forcing en réalisabilité classique: l'exemple des arbres de Herbrand - 10/10/2013 - 14h00 - 15h00