Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /

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 leadi...

Full description

Saved in:
Bibliographic Details
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:Computer science -- Mathematics -- Congresses.
Categories (Mathematics) -- Congresses.
COMPUTERS -- Computer Literacy.
COMPUTERS -- Computer Science.
COMPUTERS -- Data Processing.
COMPUTERS -- Hardware -- General.
COMPUTERS -- Information Technology.
COMPUTERS -- Machine Theory.
COMPUTERS -- Reference.
Categories (Mathematics)
Computer science -- Mathematics.
Teoria das categorias (congressos)
Informatique -- Mathématiques -- Congrès.
Catégories (Mathématiques) -- Congrès.
Electronic books.
Electronic books.
Conference papers and proceedings.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11181138
Hidden Bibliographic Details
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