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]
@phdthesis{hal-4098,
title = {Extraction de programmes dans le Calcul des Constructions. (Program Extraction in the Calculus of Constructions)},
author = {Christine Paulin-Mohring},
year = {1989},
url = {https://tel.archives-ouvertes.fr/tel-00431825},
researchr = {https://researchr.org/publication/hal-4098},
cites = {0},
citedby = {0},
school = {Paris Diderot University, France},
}