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.
Applications of category theory and related topics of mathematics to computer science have been a growing area in recent years. This book contains sel...
