@PHDTHESIS{clair2010,
url = "http://www.theses.fr/2010PA077007",
title = "Logique et interaction : une étude sémantique de la totalité",
author = "Clairambault, Pierre",
year = "2010",
pages = "1 vol. (248 p.)",
note = "Thèse de doctorat dirigée par Curien, Pierre-Louis Informatique Paris 7 2010",
note = "2010PA077007",
url = "http://www.theses.fr/2010PA077007/document",
}