Thu, 02 Jul 2009 10:00 DH 1st floor SR Rudimentary recursion and provident sets Adrian Mathias (La Reunion)