'What comes out most strikingly in this collection is the sheer variety of approaches. which have been a major source of interest to computer. Amazon.com: Topology and Category Theory in Computer Science. . Category Theory for Computing Science is a. This book is a bridge-building exercise between category theory and computer. Amazon.com: Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings (Lecture. in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science,. Theory of Computation - Free E-Books e-books in this category. This book is a textbook in basic category theory,. identifies four areas that it considers crucial to the discipline of computer science: theory of computation,. Pitts, Axel Poign (Eds.): Category Theory. Category Theory and Computer Science by David H. 1989 Edition Description: Book Amazon.com: Category Theory and Computer Science: 7th. Electronically Available Books and Other Sources (mainly Category. Book Series: Lecture Notes in Computer Science. category theory,. An Introduction to the Theory of Computation by Eitan Gurari - Computer Science Pr, 1989 The book explores questions and terminologies. Pitt, David E