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
Found in: |
FAMAF |
---|---|
Corporate Authors: | AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic University of Colorado) |
Other Authors: | Gray, John Walker, 1931- (ed.,), Scedrov, Andre, 1955- (ed.,) |
Format: | Book |
Language: | English |
Published: |
Providence :
American Mathematical Society,
1989.
|
Series: |
Contemporary mathematics ;
v. 92 CONM ; v. 92 |
Subjects: |