Category theory and computer science proceedings
ABCD PBi
Category theory and computer science proceedings
Autor:
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
Assuntos:
TEORIA DA COMPUTAÇÃO
Títulos relacionados:
Série:Lecture Notes in Computer Science ; 389
Editor:
Berlin Springer
Data de criação/publicação:
1989
Formato:
365 p.
Idioma:
Inglês
Disponível na Biblioteca:
ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.389 ex.1 )
IME - Inst. Matemática e EstatísticaMARTA CAVALLO BUNGE (BUNGE S L471c v.389 e.2 )