Hidden constructions in abstract algebra: Krull dimension of distributive lattices and commutative rings
Paper in proceeding, 2003
Author
Thierry Coquand
University of Gothenburg
Henri Lombardi
Lecture Notes in Pure and Applied Mathematics
0075-8469 (ISSN)
Vol. 231 477-4990-8247-0855-5 (ISBN)
Subject Categories
Mathematics
ISBN
0-8247-0855-5