Book123

Science/Engineering Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)

Category Theory for Computing Science (Prentice-Hall International Series in Computer Science) By Michael Barr,&nbspCharles Wells, Publisher: Prentice HallNumber Of Pages: 326Publication Date: 1995-10Sales Rank: 4317858ISBN / AS ...

Study Basic Category Theory for Computer Scientists

Benjamin C. Pierce, "Basic Category Theory for Computer Scientists"Massachusetts Institute of Technology | ISBN: 0262660717 | 1991 | 114 pages | DJV | 5.5 MBTheoretical computer science has now undergone several decades of development. The ...

Science/Engineering Category Theory at Work

H. Herrlich and H.-E. Porst “Category Theory at Work" Heldermann Verlag | 1991 | ISBN: 3885382180 | 395 pages | Djvu | 4,41 MB The purpose of this book is to serve as a text for a seminar in applied Category Theory. The treatise contai ...

Programming The Theory of Matrices, Second Edition: With Applications (Computer Science and Scientific Computing)

Peter Lancaster, Miron Tismenetsky, "The Theory of Matrices, Second Edition: With Applications (Computer Science and Scientific Computing)"Academic Press | English | 1985-06-11| ISBN: 0124355609 | 570 pages | PDF | 27 MBIn this book the aut ...

Nonfiction Computational Category Theory

This book is an account of a project in which basic constructions of category theory are expressed as computer programs. The programs are written in a functional programming language, called ML, and have been executed on examples. The autho ...

Audiobooks & Video Training Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies)

Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies)Birkhäuser Basel | ISBN 376437523X | 2007-03 | PDF | 404 Pages | 3 MBCategory theory is a general mathematical theory of structures and of s ...