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...
Bibliographic Details
Corporate Authors: |
LMS Durham Symposium (1991),
LMS Durham Symposium Durham, England,
LMS Durham Symposium University of Durham,
LMS Durham Symposium |
Other Authors: |
Fourman, M. P., 1950-,
Johnstone, P. T,
Pitts, A. M (Andrew M.),
Pitts, A. M |
Format: | Conference Proceeding
Book
|
Language: | English |
Published: |
Cambridge ; New York :
Cambridge University Press,
1992
Cambridge [England] ; New York :
1992
Cambridge ; New York :
1992
|
Series: | London Mathematical Society lecture note series ;
177
London Mathematical Society lecture note series
177
London Mathematical Society lecture note series ;
177
London Mathematical Society lecture note series
177
|
Subjects: |
|