{"product_id":"applications-of-categories-in-computer-science-proceedings-of-the-london-mathematical-society-symposium-durham-1991-paperback-9780521427265","title":"Applications of Categories in Computer Science; Proceedings of the London Mathematical Society Symposium, Durham 1991 (Paperback) 9780521427265","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eApplications of Categories in Computer Science\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003eProceedings of the London Mathematical Society Symposium, Durham 1991\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cem\u003eSelected papers reflecting current research in categories and computer science.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eM. P. Fourman (Edited by), P. T. Johnstone (Edited by), A. M. Pitts (Edited by)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521427265, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 26 June 1992\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e352 pages, 1 b\/w illus.\u003cbr\u003e22.9 x 15.2 x 2 cm, 0.505 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eCategory 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.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePreface\u003cbr\u003e Computational comonads and intensional semantics S. Brookes and S. Geva\u003cbr\u003e Weakly distributed categories J. R. B. Cockett and R. A. G. Seely\u003cbr\u003e Sequentiality and full abstraction P.-L. Curien\u003cbr\u003e Remarks on algebraically compact categories P. J. Freyd\u003cbr\u003e Dinaturality for free P. J. Freyd, E. P. Robinson and G. Rosolini\u003cbr\u003e Simply typed and untyped l-calculus revisited B. Jacobs\u003cbr\u003e Modelling reduction in confluent categories C. B. Jay\u003cbr\u003e On clubs and data-type constructors G. M. Kelly\u003cbr\u003e Penrose diagrams and 2-dimensional rewriting Y. Lafont\u003cbr\u003e Strong monads, algebras and fixed points P. S. Mulry\u003cbr\u003e Semantics of local variables P. W. O'Hearn and R. D. Tennant\u003cbr\u003e Using fibrations to understand subtypes W. Phoa\u003cbr\u003e Reasoning about sequential functions via logical relations K. Sieber\u003cbr\u003e I-categories and duality M. B. Smyth\u003cbr\u003e Geometric theories and databases S. Vickers\u003cbr\u003e Partial products, bagdomains and hyperlocal toposes P. T. Johnstone.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Mathematical theory of computation [\u003ca title=\"See our other books on Mathematical theory of computation\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20theory%20of%20computation%20%5BUYA%5D%22\"\u003eUYA\u003c\/a\u003e], Mathematical foundations [\u003ca title=\"See our other books on Mathematical foundations\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20foundations%20%5BPBC%5D%22\"\u003ePBC\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46007278240024,"sku":"9780521427265","price":64.79,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521427265i_34093c88-e474-42ce-bdc4-51886eb93d72.jpg?v=1691381673","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/applications-of-categories-in-computer-science-proceedings-of-the-london-mathematical-society-symposium-durham-1991-paperback-9780521427265","provider":"Freshly Printed Books","version":"1.0","type":"link"}