Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /
Saved in:
Meeting name: | LMS Durham Symposium (1991) |
---|---|
Imprint: | Cambridge ; New York : Cambridge University Press, 1992. |
Description: | 1 online resource (339 pages) : illustrations |
Language: | English |
Series: | London Mathematical Society lecture note series ; 177 London Mathematical Society lecture note series ; 177. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11181138 |
Other authors / contributors: | Fourman, M. P., 1950- Johnstone, P. T. Pitts, A. M. (Andrew M.) |
---|---|
ISBN: | 9781107361843 1107361842 9780511525902 0511525907 0521427266 9780521427265 1139881949 9781139881944 1107366755 9781107366756 1107371430 9781107371439 1107369959 9781107369955 1299404502 9781299404502 1107364299 9781107364295 |
Notes: | Title from PDF title page (viewed on Apr. 9, 2013). "The London Mathematical Society Symposium on Applications of Categories in Computer Science took place ... at the University of Durham from 20 to 30 July 1991"--Preface. Includes bibliographical references. English. |
Summary: | 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. |
Other form: | Print version: LMS Durham Symposium (1991). Applications of categories in computer science. Cambridge ; New York : Cambridge University Press, 1992 |
Similar Items
-
Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /
Published: (1992) -
Category theory and computer science : 7th international conference, CTCS ʼ97, S. Margheria Ligure, Italy, September 1997 : proceedings /
Published: (1997) -
Category theory and computer science : 7th international conference, CTCS 97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings /
Published: (1997) -
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /
Published: (1989) -
Category theory for computer science /
by: Barr, Michael, 1937-
Published: (1995)