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

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:

Internet

University of Chicago

Holdings details from University of Chicago
Call Number: QA76.9.M35A6 1991

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number: QA241.L16 1991

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number: QA 76.9 .M35 L35 1991

Harvard University

Holdings details from Harvard University
Call Number: QA76.9.M35 .L67 1991

Duke University

Holdings details from Duke University
Call Number: QA76.9.M35 A6 1991

Dartmouth College

Holdings details from Dartmouth College
Call Number: QA76.9.M35 L57 1991

Cornell University

Holdings details from Cornell University
Call Number: QA76.9.M35 L79 1991

Columbia University

Holdings details from Columbia University
Call Number: QA76.9 M35 A6 1991g

University of Pennsylvania

Holdings details from University of Pennsylvania
Call Number: QA76.9.M35 L57 1991

Brown University

Holdings details from Brown University
Call Number: QA76.9.M35 L57x 1991