Types are weak omega-groupoids

• Autores: Richard Garner, Benno van den Berg
• Localización: Proceedings of the London Mathematical Society, ISSN 0024-6115, Vol. 102, Nº 2, 2011, págs. 370-394
• Idioma: inglés
• Texto completo no disponible (Saber más ...)