1 paper
Thierry Coquand, Henri Lombardi, Claude Quitté +1
In this memoir, we give a completely constructive version of the celebrate book 'Finite Free Resolutions' by Northcott, and of some other results related to the depth à la Hochster…