Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991

Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991 book cover

Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991

Author(s): M. P. Fourman (Editor), P. T. Johnstone (Editor), A. M. Pitts (Editor)

  • Publisher: Cambridge University Press
  • Publication Date: June 26, 1992
  • Edition: 1st
  • Language: English
  • Print length: 352 pages
  • ISBN-10: 0521427266
  • ISBN-13: 9780521427265

Book Description

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.

Editorial Reviews

Book Description

Selected papers reflecting current research in categories and computer science.

About the Author

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

View on Amazon

电子书代发PDF格式价格30元我要求助
未经允许不得转载:Wow! eBook » Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991