Categories in computer science and logic : Proceedings of the AMS-IMS-SIAM joint Summer Research Conference held at University of Colorado, Boulder, Colorado, June 14-20, 1987 / by GRAY W., SCEDROV A.
Pubbl/distr/stampa
Providence (RI) : American Mathematical Society, 1989