Category theory and computer science proceedings
Workshop on Category Theory and Computer Science (6. : 1995 : Cambridge, UK) David H Pitt; David E Rydeheard; Peter T Johnstone
Berlin Springer 1995
Available at
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.953 e.1 ) and other locations(GetIt)