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

AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic, Gray, John W. (John Walker), Ščedrov, Andrej, National Science Foundation (U.S.)

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

Web Site CiNii 所蔵館 51館

書誌事項

タイトル: "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"

責任表示: John W. Gray and Andre Scedrov, editors

出版者

American Mathematical Society

出版年月

c1989

書籍サイズ: 26 cm

この図書・雑誌をさがす

注記

"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

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

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報詳細情報について

書き出し

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

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報 詳細情報について

書き出し

詳細情報詳細情報について