Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991 (London Mathematical Society Lecture Note Series, Series Number 177)

Fourman, M. P. [Editor]; Johnstone, P. T. [Editor]; Pitts, A. M. [Editor];

ISBN 10: 0521427266 / ISBN 13: 9780521427265

Published by Cambridge University Press, 1992

About this Item

In shrink wrap. Looks like an interesting title!

Seller Inventory # Q-0521427266

Bibliographic Details

• Title: Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991 (London Mathematical Society Lecture Note Series, Series Number 177)
• Publisher: Cambridge University Press
• Publication Date: 1992
• Language: English
• ISBN 10: 0521427266
• ISBN 13: 9780521427265
• Binding: paperback
• Condition: New
• Weight: 18 ounces

About this title

Synopsis

Applications of category theory and related topics of mathematics to computer science have been a growing area in recent years. This book contains selected papers on the subject from the London Mathematical Society Symposium held at the University of Durham in July 1991.

About the Author

Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.