Towards constructive homological algebra in type theory
Paper in proceeding, 2007
Author
Thierry Coquand
University of Gothenburg
Arnaud Spiwack
University of Gothenburg
Proceeding of Calculemus 2007
Subject Categories
Computer and Information Science