Category theory and computer science proceedings

Workshop on Category Theory and Computer Science (3. : 1989 : Manchester, UK) David H Pitt; Peter Dybjer; A. M Pitts (Andrew M.); Axel Poigne; David E Rydeheard

Berlin Springer 1989

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.389 ex.1 ) e outros locais(Acessar)