Groupe de travail de Réalisabilité Classique

2005-2006

• 22/06/06 : Axiome du Choix II - Jean-Louis Krivine
• 08/06/06 : Axiome du Choix - Jean-Louis Krivine
• 11/05/06 : Réalisabilité et contre-exemples à l'axiome du choix - Jean-Louis Krivine
• 06/04/06 : Des jeux en calcul du premier ordre avec quantification existentielle intuitioniste et égalité III - Mauricio Guillermo
• 30/03/06 : Des jeux en calcul du premier ordre avec quantification existentielle intuitioniste et égalité II - Mauricio Guillermo
• 16/03/06 : Des jeux en calcul du premier ordre avec quantification existentielle intuitioniste et égalité - Mauricio Guillermo
• 02/03/06 : De la réalisabilité dans les jeux II - Olivier Laurent
• 19/01/06 : De la réalisabilité dans les jeux - Olivier Laurent
• 05/01/06 : Des jeux dans la réalisabilité - Jean-Louis Krivine
• 08/12/05 : Comment extraire des programmes non-triviaux de formules equationelles sans alternance de quantificateur - Philippe Hesse
• 01/12/05 : Instructions pour l'axiome du choix dépendant IV - Jean-Louis Krivine
• 17/11/05 : Instructions pour l'axiome du choix dépendant III - Jean-Louis Krivine
• 27/10/05 : Instructions pour l'axiome du choix dépendant II - Jean-Louis Krivine
• 20/10/05 : Instructions pour l'axiome du choix dépendant - Jean-Louis Krivine

2004-2005

• 14/04/05 : Forcing IV - Jean-Louis Krivine
• 24/03/05 : Forcing III - Jean-Louis Krivine
• 17/03/05 : Forcing II - Jean-Louis Krivine
• 17/02/05 : Forcing - Jean-Louis Krivine
• 27/01/05 : Contrôle concurrent en lambda-calcul - Emmanuel Beffara
• 20/01/05 : Sur la méthode des priorités - Mauricio Guillermo
• 25/11/04 : Réalisabilité linéaire et concurrente en pi-calcul - Emmanuel Beffara
• 21/10/04 : Un programme pour l'axiome du choix dépendant - Jean-Louis Krivine

2003-2004

• 04/03/04 : Buveur, le retour - Jean-Louis Krivine
• 05/02/04 : Programme générique - Jean-Louis Krivine
• 11/12/03 : Réalisabilité et types récursifs - Jérôme Vouillon
• 20/11/03 : Types de données et stratégies d'évaluation - Emmanuel Beffara

2002-2003

• 13/03/03 : Un théorème de normalisation forte pour ZF intuitionniste II - Alexandre Miquel
• 27/02/03 : Un théorème de normalisation forte pour ZF intuitionniste I - Alexandre Miquel
• 06/02/03 : Symbole de choix et édition de liens dynamique - Georges Gonthier
• 23/01/03 : Modèles avec des threads - Jean-Louis Krivine
• 16/01/03 : Les formes normales disjonctives spécifient des multi-exceptions (notes de l'exposé en pdf) - Emmanuel Beffara
• 09/01/03 : Axiome du choix II - Jean-Louis Krivine
• 28/11/02 : Axiome du choix I (instruction "quote" et horloge) - Jean-Louis Krivine
• 14/11/02 : Le contenu computationnel des preuves dans l'arithmétique classique - Denis Bonnay
• 31/10/02 : Tautologies Classiques et Combinateurs de Contrôle - Emmanuel Beffara
• 17/10/02 : Formalisation du théorème de complétude - Edouard Maurel-Segala

2001-2002

• 24/06/02 : Réalisabilite de ZF sans axiome de fondation - Georges Gonthier
• 17/06/02 : Théorie des ensembles II - Jean-Louis Krivine
• 10/06/02 : Théorie des ensembles I - Jean-Louis Krivine
• 27/05/02 : Réalisabilité classique III - Jean-Louis Krivine
• 21/05/02 : Réalisabilité classique II - Jean-Louis Krivine
• 02/05/02 : Réalisabilité classique I - Jean-Louis Krivine