Christine Paulin-Mohring. Extraction de programmes dans le Calcul des Constructions. (Program Extraction in the Calculus of Constructions). PhD thesis, Paris Diderot University, France, 1989. [doi]
No references recorded for this publication.
No citations of this publication recorded.