Generating non-Noetherian modules constructively
Journal article, 2004
Author
Thierry Coquand
University of Gothenburg
Henri Lombardi
Claude Quitte
Manuscripta Math
Vol. 115 4 513-520
Subject Categories
Mathematics