A constructive proof of the Peter-Weyl theorem
Journal article, 2005
Author
Thierry Coquand
University of Gothenburg
Bas Spitters
MLQ Math. Log. Q.
Vol. 51 351-359
Subject Categories
Mathematical Analysis