Extraction de Programme dans le Calcul des Constructions (1989)

by C Paulin-Mohring