Applications of Categories in Computer Science : Proceedings of the London Mathematical Society Symposium, Durham 1991 / Edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts.
Material type:
TextSeries: London Mathematical Society Lecture Note Series ; no. 177Publisher: Cambridge : Cambridge University Press, 1992Description: 1 online resource (352 pages) : digital, PDF file(s)Content type: text Media type: computer Carrier type: online resourceISBN: 9780511525902 (ebook)Additional physical formats: Print version: : No titleDDC classification: n/a LOC classification: QA76.9.M35 | L57 1991Online resources: Click here to access online Summary: 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.
E-BOOKS
| Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | Link to resource | Available | EBK12094 |
Title from publisher's bibliographic system (viewed on 16 Oct 2015).
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.
There are no comments on this title.