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.
Material type:
TextSeries: Contemporary mathematics (American Mathematical Society) ; ; v. 92.Publisher: Providence, Rhode Island : American Mathematical Society, [1989]Copyright date: 1989Description: 1 online resource (394 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9780821876800 (e-book)Subject(s): Computer science -- Mathematics -- Congresses | Categories (Mathematics) -- CongressesGenre/Form: Electronic books.Additional physical formats: Print version:: 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.DDC classification: 004/.01/5 LOC classification: QA76.9.M35 | A47 1987Online resources: Click to View
"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, Colo., on June 14-20, 1987 with support from the National Science Foundation"--T.p verso.
Includes bibliographical references.
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
There are no comments on this title.