A constructive proof of the Peter-Weyl theorem
Artikel i vetenskaplig tidskrift, 2005
Författare
Thierry Coquand
Göteborgs universitet
Bas Spitters
MLQ Math. Log. Q.
Vol. 51 351-359
Ämneskategorier
Matematisk analys