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 / edited by J.W. Gray and A. Scedrov.
Publication Info
Providence, R.I : American Mathematical Society, 1989.