Logique et Interactions

• 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