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

More information

Created

10/10/2017