Towards constructive homological algebra in type theory
Paper in proceedings, 2007

Author

Thierry Coquand

University of Gothenburg

Arnaud Spiwack

University of Gothenburg

Proceeding of Calculemus 2007

Subject Categories

Computer and Information Science

More information

Created

10/10/2017