Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991
Book information
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.
Similar books
Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991
1992 · DJVU
Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991
1992 · DJVU
Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991
1992 · PDF
Applications of Categories in Computer Science: Proc. London Math. Soc. Symp., Durham 1991
1992 · DJVU
Topos Theory
1977 · DJVU
Notes on Logic and Set Theory
1987 · PDF
Topos theory
1977 · DJVU
Topos theory
1977 · PDF