A coherence theorem for canonical morphisms in cartesian closed categories
A. A. Babaev, S. V. Solov'evVolume:
20
Language:
english
Pages:
17
Journal:
Journal of Mathematical Sciences
DOI:
10.1007/bf01629434
Date:
November, 1982
File:
PDF, 1.15 MB
english, 1982