Auto-validation d’un système de preuves avec familles inductives (1999)

by B Barras