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
Author(s)
Bibliographic Information
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
(Contemporary mathematics, v. 92)
American Mathematical Society, c1989
Available at / 50 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
DC19:004/G7932070121473
-
No Libraries matched.
- Remove all filters.
Note
"The AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic was held at University of Colorado, Boulder, Colorado, on June 14-20, 1987 with support from the National Science Foundation, Grant DMS-8613199."--T.p. verso
Includes bibliographies