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

More information

Created

10/10/2017