Isomorphism is equality

• Autores: Thierry Coquand, Nils Anders Danielsson
• Localización: Indagationes mathematicae, ISSN 0019-3577, Vol. 24, Nº 4, 2013 (Ejemplar dedicado a: In memory of N.G. (Dick) de Bruijn (1918�2012)), págs. 1105-1120
• Idioma: inglés
• DOI: 10.1016/j.indag.2013.09.002
• Texto completo no disponible (Saber más ...)