LMS: 177 Applications of Categories: Proceedings of the London Mathematical Society Symposium, Durham 1991 First Edition

LMS: 177 Applications of Categories: Proceedings of the London Mathematical Society Symposium, Durham 1991 First Edition book cover

LMS: 177 Applications of Categories: Proceedings of the London Mathematical Society Symposium, Durham 1991 First Edition

Author(s): M. P. Fourman (Author)

  • Publisher: Cambridge University Press
  • Publication Date: 21 Aug. 2008
  • Edition: First Edition
  • Language: English
  • Print length: 352 pages
  • ISBN-10: 0521427266
  • ISBN-13: 9780521427265

Book Description

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.

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 » LMS: 177 Applications of Categories: Proceedings of the London Mathematical Society Symposium, Durham 1991 First Edition