A constructive proof of the Peter-Weyl theorem

• Autores: B. Spitters, G. Coquand
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 51, Nº 4, 2005, pág. 351
• Idioma: inglés
• DOI: 10.1002/malq.200410037
• Texto completo no disponible (Saber más ...)