Isomorphism is equality
Journal article, 2013
Author
Thierry Coquand
University of Gothenburg
Nils Anders Danielsson
University of Gothenburg
Indagationes Mathematicae
0019-3577 (ISSN)
Vol. 24 4 1105-1120Subject Categories
Computer Science
DOI
10.1016/j.indag.2013.09.002