Isomorphism is equality
Coquand, Thierry, Danielsson, Nils AndersVolume:
24
Language:
english
Journal:
Indagationes Mathematicae
DOI:
10.1016/j.indag.2013.09.002
Date:
November, 2013
File:
PDF, 205 KB
english, 2013