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.
Providence, Rhode Island : American Mathematical Society, [1989]
1989
Rating: