Applications of Categories in Computer Science

Applications of Categories in Computer Science
Author :
Publisher : Cambridge University Press
Total Pages : 353
Release :
ISBN-10 : 9780521427265
ISBN-13 : 0521427266
Rating : 4/5 (266 Downloads)

Book Synopsis Applications of Categories in Computer Science by : M. P. Fourman

Download or read book Applications of Categories in Computer Science written by M. P. Fourman and published by Cambridge University Press. This book was released on 1992-06-26 with total page 353 pages. Available in PDF, EPUB and Kindle. Book excerpt: Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London Mathematical Society Symposium on the subject which was held at the University of Durham. Participants at the conference were leading computer scientists and mathematicians working in the area and this volume reflects the excitement and importance of the meeting. All the papers have been refereed and represent some of the most important and current ideas. Hence this book will be essential to mathematicians and computer scientists working in the applications of category theory.


Applications of Categories in Computer Science Related Books

Applications of Categories in Computer Science
Language: en
Pages: 353
Authors: M. P. Fourman
Categories: Computers
Type: BOOK - Published: 1992-06-26 - Publisher: Cambridge University Press

GET EBOOK

Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from th
Basic Category Theory for Computer Scientists
Language: en
Pages: 117
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 1991-08-07 - Publisher: MIT Press

GET EBOOK

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including l
Categories and Computer Science
Language: en
Pages: 180
Authors: R. F. C. Walters
Categories: Computers
Type: BOOK - Published: 1991 - Publisher: Cambridge University Press

GET EBOOK

Category theory has become increasingly important and popular in computer science, and many universities now have introductions to category theory as part of th
Category Theory for Computing Science
Language: en
Pages: 352
Authors: Michael Barr
Categories: Computers
Type: BOOK - Published: 1995 - Publisher:

GET EBOOK

A wide coverage of topics in category theory and computer science is developed in this text, including introductory treatments of cartesian closed categories, s
Applications of Categories in Computer Science
Language: en
Pages: 339
Authors: M. P. Fourman
Categories: Categories (Mathematics)
Type: BOOK - Published: 1992 - Publisher:

GET EBOOK

Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from th