TY - THES DP - http://www.theses.fr/2000NICE5428 TI - Explication textuelle de preuves pour le calcul des constructions inductives AU - Coscoy, Yann A3 - Bertot, Yves; Kahn, Gilles PY - 2000 SP - 1 vol. (201 p.) N1 - Thèse de doctorat Sciences. Informatique Nice 2000 N1 - 2000NICE5428 ER -