00840nam0-22002411i-450-990001210810403321000121081FED01000121081(Aleph)000121081FED0100012108120000920d1989----km-y0itay50------baengCategories in computer science and logicProceedings of the AMS-IMS-SIAM joint Summer Research Conference held at University of Colorado, Boulder, Colorado, June 14-20, 1987by GRAY W., SCEDROV A.Providence (RI)American Mathematical Society1989.Contemporary mathematics92ITUNINARICAUNIMARCBK990001210810403321C-1-(926468MA1MA1Categories in computer science and logic343951UNINAING01