Category theory and computer programming proceedings

Workshop on Category Theory and Computer Programming (1. 1985 Guildford) David H Pitt

Berlin Springer 1986

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