679:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Pocket/Paperback
- ISBN: 9783540059639
- Språk: Engelska
- Antal sidor: 238
- Utgivningsdatum: 1972-08-01
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K