Category theory and computer science proceedings
Workshop on Category Theory and Computer Programming (3. 1989 Manchester) David H Pitt
Berlin Springer 1989
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.389 ex.1 ) e outros locais(Acessar)