Isomorphism is equality
Artikel i vetenskaplig tidskrift, 2013
Författare
Thierry Coquand
Göteborgs universitet
Nils Anders Danielsson
Göteborgs universitet
Indagationes Mathematicae
0019-3577 (ISSN)
Vol. 24 4 1105-1120Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1016/j.indag.2013.09.002