@PHDTHESIS{Blot2014,
url = "http://www.theses.fr/2014ENSL0945",
title = "Game semantics and realizability for classical logic",
author = "Blot, Valentin",
year = "2014",
note = "Thèse de doctorat dirigée par Laurent, Olivier Informatique Lyon, École normale supérieure 2014",
note = "2014ENSL0945",
url = "http://www.theses.fr/2014ENSL0945/document",
}