@PHDTHESIS{strub2008,
url = "
		http://www.theses.fr/2008EPXX0054",
title = "Théories des types et procédures de décisions",
author = "Strub, Pierre-Yves",
year = "2008",
pages = "1 vol. ( 101 p.)",
note = "Thèse de doctorat dirigée par Jouannaud, Jean-Pierre Informatique Palaiseau, Ecole polytechnique 2008",
note = "2008EPXX0054",
}