Category theory and computer
science
proceedings
ABCD PBi
Category theory and computer
science
proceedings
Autor:
Workshop on Category Theory and Computer Programming (4. : 1991 : Paris, FR)
David H Pitt
;
A. M Pitts (Andrew M.)
;
David E Rydeheard
;
Axel Poigne
;
Samson Abramsky 1953-
;
Pierre -Louis Curien
Assuntos:
CIÊNCIA DA COMPUTAÇÃO
;
TEORIA DA COMPUTAÇÃO
Títulos relacionados:
Série: Lecture Notes in Computer
Science
; 530
Editor:
Berlin Springer
Data de criação/publicação:
1991
Formato:
301 p.
Idioma:
Inglês
Disponível na Biblioteca:
ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.530 e.1 )
IME - Inst. Matemática e EstatísticaMARTA CAVALLO BUNGE (BUNGE S L471c v.530 e.2 )