UID:
almahu_9947921468302882
Format:
CCXLVIII, 238 p.
,
online resource.
ISBN:
9783540379584
Series Statement:
Lecture Notes in Mathematics, 281
Note:
Closed coherence for a natural transformation -- Coherence for distributivity -- Many-variable functorial calculus. I. -- An abstract approach to coherence -- Coherence for a closed functor -- A cut-elimination theorem -- A new result of coherence for distributivity.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540059639
Language:
English
URL:
http://dx.doi.org/10.1007/BFb0059553