Home > 2009 > April

Monthly Archives: April, 2009

A A

22 April 2009 Giulio Manzonetto talks about Models and theories of the lambda calculus: Wednesday, April 22, 2009, 11h, bdg I, 1st floor, the MSR-INRIA Joint Centre, Inria Saclay, Models and theories of lambda calculus Giulio Manzonetto, INRIA A quarter of century after Barendregt’s main book, a wealth of ... More
8 April 2009 Thomas Ehrhard fait un exposé intitulé Logique linéaire différentielle, lambda-calcul et concurrence: 8 avril 2009, 11h Orsay, Bat I, 1er étage, Centre de Recherche commun INRIA-MSR Logique linéaire différentielle, lambda-calcul et concurrence Thomas Ehrhard, PPS, Paris 7 En logique linéaire, les ... More