@PHDTHESIS{joine1993,
url = "
		http://www.theses.fr/1993PA077066",
title = "Etude de la normalisation du calcul des sequents classique a travers la logique lineaire",
author = "Joinet, Jean-Baptiste",
year = "1993",
pages = "1 vol. (180 p.)",
note = "Thèse de doctorat dirigée par Krivine, Jean-Louis Logique mathématique Paris 7 1993",
note = "1993PA077066",
}