ISBN-13: 9780821851005 / Angielski / Miękka / 1989 / 382 str.
ISBN-13: 9780821851005 / Angielski / Miękka / 1989 / 382 str.
Presents the proceedings of AMS-IMS-SIAM Summer Research Conference on Categories in Computer Science and Logic that was held at the University of Colorado in Boulder. This book discusses the use of category theory in formalizing aspects of computer programming and program design.