Constructive Finite Free Resolutions
Journal article, 2011
constructive mathematics
homological algebra
Author
Thierry Coquand
University of Gothenburg
Claude Quitte
Manuscripta Mathematica
Vol. 137 331-345
Subject Categories
Mathematics