Extraction de Programmes dans le Calcul des Constructions. Thèse de doctorat, Université Paris 7 (1989)

by C Paulin-Mohring