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
Title:
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:
AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic (1987 : University of Colorado, Boulder), issuing body.
ISBN:
9780821876800
Physical Description:
1 online resource (394 pages) : illustrations.
Series:
Contemporary mathematics, volume 92
Contemporary mathematics (American Mathematical Society) ; ; v. 92.
General 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, Colo., on June 14-20, 1987 with support from the National Science Foundation"--T.p verso.
Local Note:
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Genre:
Added Corporate Author:
Electronic Access:
Click to View