Thèse

Manuscrit

Mon manuscrit s'intitule On Forcing and Classical Realizability.
Comme le titre le suggère, il est écrit en anglais.
Il est disponible ici pour la version couleur et pour une version à imprimer en noir et blanc.

Les documents complémentaires sont les suivants:
  1. la bibliothèque de réalisabilité classique en Coq
  2. une formalisation rapide des combinateurs de forcing:

Soutenance

Ma soutenance a eu lieu le 17 juin 2014 à 14h30 dans l'amphithéâtre D de l'ENS de Lyon.
Puisqu'on me les a demandé, voici les transparents de ma soutenance.