"34" Result
Sort By:
Applications of categories in computer science: proceedings of the LMS Symposium, Durham 1991
by Fourman, Michael P., Johnstone, P. T., Pitts, Andrew M., LMS Symposium on Applications of Categories in Computer Science, (Durham, London Mathematical Society
fromLondon Mathematical Society lecture note series
0
Type: Book
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 …