Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 / edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts. (London Mathematical Society lecture note series)

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 / edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.

(London Mathematical Society lecture note series)

Call No. (NDL): M15-A8538
Bibliographic ID of National Diet Library: 000003210747

Material type: 図書

Author: LMS Durham Symposium (1991)ほか

Publisher: Cambridge University Press

Publication date: 1992.

Material Format: Paper

Capacity, size, etc.: 339 p. : ill. ; 23 cm.

NDC: -

View All

Notes on use

Note (General)：: "Took place in the Department of Mathematical Sciences at the University of Durham from 20 to 30 July 1991"--Pref.Includes bibliographies.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 0521427266
Title: Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 / edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.
Series Title: London Mathematical Society lecture note series
Author Heading: LMS Durham Symposium (1991)
Fourman, M. P., 1950-
Johnstone, P. T.
Pitts, A. M.
Publication, Distribution, etc.: Cambridge : Cambridge University Press
Publication Date: 1992.
Publication Date (W3CDTF): 1992
Extent: 339 p. : ill. ; 23 cm.
Text Language Code: eng
NDLC: M15
MA
Note (General): "Took place in the Department of Mathematical Sciences at the University of Durham from 20 to 30 July 1991"--Pref.
Includes bibliographies.
Holding library: 国立国会図書館
Call No.: M15-A8538
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003210747
http://id.ndl.go.jp/bib/000003210747
Bibliographic Record Category (NDL): 211