Extraction de programmes dans le Calcul des Constructions (1989)

by Christine Paulin-Mohring