Extraction de programmes dans le Calcul des Constructions (1989)

by C Paulin-Mohring