@PHDTHESIS{MunTU0488,
	AUTHOR = "C. Mu{\~{n}}oz",
	TITLE = "Un calcul de substitutions pour la repr\'esentation
                  de preuves partielles en th\'eorie de types",
	SCHOOL = {Universit\'e Paris~7},
        Number = {Unit\'e de recherche INRIA-Rocquencourt, TU-0488},
	YEAR = "1997",
        Note = {English version available as INRIA research report RR-3309},
        Type = {Th\`ese de Doctorat}
}