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

John W. Gray and Andre Scedrov, editors

（Contemporary mathematics, v. 92）

American Mathematical Society, c1989

注記

"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

詳細情報

• NII書誌ID(NCID): BA07072047
• ISBN:
  • 0821851004
• LCCN: 89032893
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Providence, R.I.
• ページ数/冊数: x, 382 p.
• 大きさ: 26 cm
• 分類:
  • LCC : QA76.9.M35
  • NDC8 : 007.61
  • DC20 : 004/.01/5
• 件名:
  • LCSH : Electronic data processing -- Mathematics -- Congresses
  • LCSH : Categories (Mathematics) -- Congresses
• 親書誌ID:
  • BA00009927