Auto-validation d’un système de preuves avec familles inductives. Thèse de doctorat, Université Paris 7 (1999)

by B Barras