Constructive algebraic topology (1999)

by F Sergeraert
Venue:SIGSAM Bull