Sur la lambda-définissabilité

Rapporteurs:

• Pierre-Louis Curien (CNRS et Univ. Paris Diderot),
• Achim Jung (Univ. Birmingham) ,
• Luke Ong (Univ. Oxford).

Examinateurs:

• Jean-Louis Krivine (Univ. Paris Diderot),
• Yves Lafont (Univ. de la Méditerranée),
• Giuseppe Longo (CNRS et ENS Paris).